主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年4月21日 (五) 17:43 Gsxab 留言 贡献创建了页面全序 （创建页面，内容为“分类:关系 {{InfoBox |name=全序 |eng_name=total order |aliases=线序,linear order,简单序.simple order }} {{InfoBox |name=全序集 |eng_name=totally ordered set |aliases=线序集,linearly ordered set,loset,简单序集,simply ordered set,链,chain }} ''全序'''('''total order''')指一个关系是偏序，且同时对任意两个元素总有一种排列使其有关系。 元素间存在全序关系的集合称为'''全序集'''('''str…”）
• 2023年4月20日 (四) 19:05 Gsxab 留言 贡献创建了页面严格偏序关系 （重定向页面至拟序） 标签：新重定向
• 2023年4月20日 (四) 18:40 Gsxab 留言 贡献移动页面偏序关系至偏序，覆盖重定向
• 2023年4月20日 (四) 18:38 Gsxab 留言 贡献移动页面拟序关系至拟序
• 2023年4月20日 (四) 18:38 Gsxab 留言 贡献移动页面预序关系至预序
• 2023年4月20日 (四) 18:37 Gsxab 留言 贡献通过覆盖删除重定向偏序 （删除以便移动偏序关系）
• 2023年4月20日 (四) 18:35 Gsxab 留言 贡献创建了页面偏序 （重定向页面至偏序关系） 标签：新重定向
• 2023年4月20日 (四) 18:33 Gsxab 留言 贡献移动页面严格预序关系至拟序关系
• 2023年4月20日 (四) 18:32 Gsxab 留言 贡献创建了页面偏序关系 （创建页面，内容为“分类:关系 {{InfoBox |name=偏序 |eng_name=partial order |aliases=偏序关系,弱序,weak order,reflexive partial order,non-strict partial order }} {{InfoBox |name=偏序集 |eng_name=poset |aliases=partially ordered set,non-strict partially ordered set }} '''偏序'''('''partial order''')指一个关系同时自反、反对称且传递。 元素间存在偏序关系的集合称为'''偏序…”）
• 2023年4月19日 (三) 18:43 Gsxab 留言 贡献创建了页面严格预序关系 （创建页面，内容为“分类:关系 {{InfoBox |name=严格预序 |eng_name=strict preorder |alias=严格预序关系 }} '''严格预序'''('''strict preorder''')指一个关系同时反自反且传递。 元素间存在严格预序关系的集合称为'''严格预序集'''('''strict preorder set''')。 == 定义 == 对集合 <math>P</math> 上的关系 <math>\prec</math> ，如果满足反自反性和传递性，即： * 反自反…”）
• 2023年4月19日 (三) 18:36 Gsxab 留言 贡献创建了页面预序关系 （创建页面，内容为“分类:关系 {{InfoBox |name=预序 |eng_name=preorder |alias=预序关系,quasiorder,non-strict preorder }} '''预序'''('''preorder''')指一个关系同时自反和传递。 元素间存在预序关系的集合称为'''预序集'''('''preorder set''', '''proset''')。 == 定义 == 对集合 <math>P</math> 上的关系 <math>\preceq</math> ，如果满足自反性和传递性，即： * 自反性： <math>\fora…”）
• 2023年4月18日 (二) 15:24 Gsxab 留言 贡献创建了页面反传递关系 （创建页面，内容为“{{InfoBox |name=反传递关系 |eng_name=antitransitive relation }} '''反传递关系'''('''antitransitive relation''')指某集合上的一个关系中，a和b有关系，b和c有关系，则a和c一定没关系。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall a \forall b \forall c (a R b \land b R c \implies a \lnot R c)</math>，称关系 <math>R</math> 是'''反传递的'''('''antitransitive''')，关系…”）
• 2023年4月18日 (二) 14:57 Gsxab 留言 贡献创建了页面传递关系 （创建页面，内容为“{{InfoBox |name=传递关系 |eng_name=transitive relation }} '''传递关系'''('''transitive relation''')指某集合上的一个关系中，a和b有关系，b和c有关系，则a和c同样有关系。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall a \forall b \forall c (a R b \land b R c \implies a R c)</math>，称关系 <math>R</math> 是'''传递的'''('''transitive''')，关系 <math>R</math> 有'''传递…”）
• 2023年4月17日 (一) 17:41 Gsxab 留言 贡献创建了页面不对称关系 （创建页面，内容为“{{InfoBox |name=不对称关系 |eng_name=asymmetric relation |aliases=强反对称关系 }} '''不对称关系'''('''asymmetric relation''')指某集合上的一个关系中，所有有关系的元素对交换顺序后无关系。不对称关系同时是反对称关系和反自反关系。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall a \forall b (a R b \rightarrow b \lnot R a)</math>，称关系 <math…”）
• 2023年4月17日 (一) 17:24 Gsxab 留言 贡献创建了页面反对称关系 （创建页面，内容为“{{InfoBox |name=反对称关系 |eng_name=antisymmetric relation }} '''反对称关系'''('''antisymmetric relation''')指某集合上的一个关系中，所有有关系且不同的元素对交换顺序后无关系。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall a \forall b (a R b \land b R a \rightarrow a = b)</math>，称关系 <math>R</math> 是'''反对称的'''('''antisymmetric''')，关系 <math>R</math…”）
• 2023年4月17日 (一) 16:44 Gsxab 留言 贡献创建了页面对称关系 （创建页面，内容为“{{InfoBox |name=对称关系 |eng_name=symmetric relation }} '''对称关系'''('''symmetric relation''')指某集合上的一个关系中，所有有关系的元素对交换顺序后同样有关系。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall x, y (x \in X \land y \in X \rightarrow (x R y \leftrightarrow y R x))</math>，称关系 <math>R</math> 是'''对称的'''('''symmetric''')，关系 <math>R</math>…”）
• 2023年4月17日 (一) 16:06 Gsxab 留言 贡献创建了页面反自反关系 （创建页面，内容为“{{InfoBox |name=反自反关系 |eng_name=irreflexive relation |aliases=anti-reflexive relation }} '''反自反关系'''('''irreflexive relation''')指某集合上的一个关系中，集合中所有元素都与其自身无关。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall x (x \in X \rightarrow x \lnot R x)</math>，称关系 <math>R</math> 是'''反自反的'''('''irreflexive''' / '''anti-reflexive''')，…”）
• 2023年4月16日 (日) 16:48 Gsxab 留言 贡献创建了页面自反关系 （创建页面，内容为“{{InfoBox |name=自反关系 |eng_name=reflexive relation }} '''自反关系'''('''reflexive relation''')指某集合上的一个关系中，集合中所有元素都与其自身有关。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall x (x \in X \rightarrow x R x)</math>，称关系 <math>R</math> 是'''自反的'''('''reflexive''')，关系 <math>R</math> 有'''自反性'''('''reflexivity''')，及关系 <math>R…”）
• 2023年4月16日 (日) 15:16 Gsxab 留言 贡献创建了页面模板:函数的关系描述 （创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=5 style='border-bottom-width:2px' | 函数的关系描述 |- ! 类型 ! 左全 ! 右全 ! 左唯一 ! 右唯一 |- | 部分函数 | 否 || 否 || 否 || 是 |- | 函数、映射 | 是 || 否 || 否 || 是 |- | 单射 | 是 || 否 || 是 || 是 |- | 满射 | 是 |…”）
• 2023年4月16日 (日) 08:59 Gsxab 留言 贡献创建了页面右唯一关系 （创建页面，内容为“{{InfoBox |name=右唯一关系 |eng_name=right-unique relation |aliases=functional relation,部分函数,partial function }} '''右唯一关系'''('''left-unique relation''')指一个关系对前域内任意值都有至多一个不同的后域内的值使得关系成立。 == 定义 == 对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\forall x \forall y_1 \forall y_2 (x\in X \rightarrow ((y_1\in Y \land x R y_1) \right…”）
• 2023年4月16日 (日) 08:56 Gsxab 留言 贡献创建了页面左唯一关系 （创建页面，内容为“{{InfoBox |name=左唯一关系 |eng_name=left-unique relation |aliases=injective relation }} '''左唯一关系'''('''left-unique relation''')指一个关系对后域内任意值都有至多一个前域内的不同值使得关系成立。 == 定义 == 对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\forall y \forall x_1 \forall x_2 (y\in Y \rightarrow ((x_1\in X \land x_1 R y) \rightarrow ((x_2\in Z \land x_2 R y) \ri…”）
• 2023年4月16日 (日) 08:45 Gsxab 留言 贡献创建了页面右全关系 （创建页面，内容为“{{InfoBox |name=右全关系 |eng_name=right-total relation |aliases=surjective relation,onto relation }} '''右全关系'''('''right-total relation''')指一个关系对后域内任意值都有至少一个前域内的值使得关系成立，换句话说其值域等于其后域。 == 定义 == 对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\operatorname{ran} R = Y</math> ，即 <math>\forall y \exist x (y\in Y \righta…”）
• 2023年4月16日 (日) 08:37 Gsxab 留言 贡献创建了页面左全关系 （创建页面，内容为“{{InfoBox |name=左全关系 |eng_name=left-total relation |aliases=total }} '''左全关系'''('''left-total relation''')指一个关系对前域内任意值都有至少一个后域内的值使得关系成立，换句话说其定义域是其前域。 == 定义 == 对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\operatorname{dom} R = X</math> ，即 <math>\forall x \exist y (x\in X \rightarrow (y\in Y \land x R y))</ma…”）
• 2023年4月16日 (日) 04:28 Gsxab 留言 贡献创建了页面恒等关系 （创建页面，内容为“{{InfoBox |name=恒等关系 |eng_name=identity relation }} '''恒等关系'''('''identity relation''')是指一个关系前后域相同，且当且仅当涉及的两元素相同时有关系。 == 定义 == {{Identity |name=恒等关系 |symbol=<math>I_\bullet</math> |latex=I |type=关系 }} 对集合 <math>A</math> 上的关系 <math>R</math>，若 <math>R = \left\{ \langle x, x \rangle \mid x \in A \right\}</math> ，称 <math>R</math> 是 <math>A</math…”）
• 2023年4月15日 (六) 18:18 Gsxab 留言 贡献创建了页面全关系 （创建页面，内容为“{{InfoBox |name=全关系 |eng_name=universal relation }} '''全关系'''('''universal relation''')是指一个关系作为笛卡尔积的一个子集和笛卡尔积本身相等。也就是说，全关系是一个全集。 == 定义 == {{Identity |name=全关系 |type=关系 }} 对集合 <math>A_1,A_2,\dots,A_n</math> 上的关系 <math>R</math>，若 <math>R=A_1 \times A_2 \times \dots \times A_n</math> ，称 <math>R</math> 是一个'''全关系'''(…”）
• 2023年4月15日 (六) 17:58 Gsxab 留言 贡献创建了页面空关系 （创建页面，内容为“{{InfoBox |name=空关系 |eng_name=empty relation }} '''空关系'''('''empty relation''')是指一个关系中没有任何有序对元素。也就是说，空关系是一个空集。 == 定义 == {{Identity |name=空关系 |symbol=<math>\varnothing</math> |latex=\varnothing |type=关系 }} 对集合 <math>A_1,A_2,\dots,A_n</math> 上的关系 <math>R</math>，若 <math>R=\varnothing</math> ，称 <math>R</math> 是一个'''空关系'''('''empty rela…”）
• 2023年4月15日 (六) 15:24 Gsxab 留言 贡献创建了页面不相交 （创建页面，内容为“分类:集合 {{InfoBox |name=不相交 |eng_name=disjoint }} '''不相交集合'''('''disjoint sets''')指两个或多个集合之间没有任何公共元素。 == 记号 == {{Relation |name=不相交关系 |operand_relation=集合 }} 给定集合<math>A</math>、<math>B</math>，若集合 <math>A</math> 与集合 <math>B</math> 没有公共元素，即 <math>\forall x( x \notin A \or x \notin B )</math>时： * 称“<math>A</math> 与 <math>B</math>…”）
• 2023年4月15日 (六) 14:30 Gsxab 留言 贡献创建了页面限制（关系） （创建页面，内容为“分类:关系 {{InfoBox |name=限制 |eng_name=restriction }} '''限制'''('''restriction''')指取一个关系，仅取其中涉及原前后域的一个子集的元素，所构成的关系。 == 定义 == {{Operation |name=限制 |symbol=<math>\bullet_{\mid \bullet}</math> |latex=\mid |operand=关系 |result=关系 }} 对集合 <math>X</math> 上的关系 <math>R</math> 与 <math>X</math> 的子集 <math>A</math> ，记集合 <math>R_{\mid A} = \lef…”）
• 2023年4月15日 (六) 13:45 Gsxab 留言 贡献创建了页面模板:关系 （创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=3 style='border-bottom-width:2px' | 关系 |- ! 特殊关系 | colspan=2 | 空关系、恒等关系、全关系 |- ! rowspan=2 | 性质 | 基本性质 | 自反、反自反、对称、反对称、传递 |- | 复合性质 | 偏序、全…”）
• 2023年4月15日 (六) 12:05 Admin 留言 贡献删除页面复合（关系） （内容为：“#重定向 复合关系”，唯一贡献者是“Gsxab”（讨论））
• 2023年4月15日 (六) 12:04 Admin 留言 贡献删除页面并（关系） （内容为：“#重定向 并关系”，唯一贡献者是“Gsxab”（讨论））
• 2023年4月15日 (六) 12:04 Admin 留言 贡献删除页面交（关系） （内容为：“#重定向 交关系”，唯一贡献者是“Gsxab”（讨论））
• 2023年4月15日 (六) 12:03 Admin 留言 贡献删除页面模板:集合相关 （内容为：“分类:集合 {| class='wikitable' style='text-align:center;margin:0 auto' |- ! colspan=3 | 集合 |- ! 特殊集合 | colspan=2 | 空集、全集 |- ! rowspan=2 | 关系 | colspan=2 | 成员关系（属于） |- | colspan=2 | 包含关系（子集、超集）、真包含关系（真子集、真超集）、相等关系（集合…”，唯一贡献者是“Gsxab”（讨论））
• 2023年4月15日 (六) 11:59 Gsxab 留言 贡献创建了页面模板:集合 （创建页面，内容为“分类:集合 {| class='wikitable' style='text-align:center;margin:0 auto' |- ! colspan=3 | 集合 |- ! 特殊集合 | colspan=2 | 空集、全集 |- ! rowspan=2 | 关系 | colspan=2 | 成员关系（属于） |- | colspan=2 | 包含关系（子集、超集）、真包含关系（真子集、真超集）、相等关系 |- ! rowspan=3 | 运算 ! 基础运算 | 交集、并集…”）
• 2023年4月15日 (六) 11:59 Gsxab 留言 贡献创建了页面模板:集合相关 （创建页面，内容为“分类:集合 {| class='wikitable' style='text-align:center;margin:0 auto' |- ! colspan=3 | 集合 |- ! 特殊集合 | colspan=2 | 空集、全集 |- ! rowspan=2 | 关系 | colspan=2 | 成员关系（属于） |- | colspan=2 | 包含关系（子集、超集）、真包含关系（真子集、真超集）、相等关系 |- ! rowspan=3 | 运算 ! 基础运算 | 交集、并集…”）
• 2023年4月15日 (六) 10:17 Gsxab 留言 贡献创建了页面补关系 （创建页面，内容为“分类:关系 {{InfoBox |name=补关系 |eng_name=complementary relation |aliases=补,complement }} '''补关系'''('''complementary relation''')指与一个关系作为子集的补集，也是“没有这个关系”所对应的关系。 == 定义 == {{Operation |name=补 |symbol=<math>\bar{\bullet}</math> |latex=\bar{} |operand=关系 |result=关系 |prototype=布尔代数 }} 对集合 <math>X</math> 、 <math>Y</math> 上的关系 <math>R</math…”）
• 2023年4月15日 (六) 07:48 Gsxab 留言 贡献创建了页面逆关系 （创建页面，内容为“分类:关系 {{InfoBox |name=逆关系 |eng_name=converse relation |aliases=逆,converse,转置关系,transpose relation,转置,transpose }} '''逆关系'''('''converse relation''')指一个关系交换两个域的先后顺序所构成的关系。 == 定义 == {{Operation |name=逆 |symbol=<math>\bullet^{-1}</math>,<math>\bullet^\mathrm{T}</math> |latex=^{-1},^\mathrm{T} |operand=关系 |operand_num=1 |result=关系 }} 对集合 <math>X</math> 、 <m…”）
• 2023年4月15日 (六) 07:27 Gsxab 留言 贡献移动页面复合（关系）至复合关系
• 2023年4月15日 (六) 07:25 Gsxab 留言 贡献移动页面并（关系）至并关系
• 2023年4月15日 (六) 07:16 Gsxab 留言 贡献移动页面交（关系）至交关系
• 2023年4月14日 (五) 18:13 Gsxab 留言 贡献创建了页面复合（关系） （创建页面，内容为“分类:关系 {{InfoBox |name=复合 |eng_name=composition }} '''复合'''('''composition''')指两个或多个关系依次首尾相接构成的关系。 == 定义 == {{Operation |name=逆序复合 |symbol=<math>\circ</math> |latex=\circ |operand=关系 |result=关系 }} 对集合 <math>X</math> 到 <math>Y</math> 的关系 <math>R</math> 、 <math>Y</math> 到 <math>Z</math> 的关系 <math>S</math> ，记 <math>S\circ R = \left\{ \langle x,z \rangle…”）
• 2023年4月14日 (五) 15:24 Gsxab 留言 贡献创建了页面并（关系） （创建页面，内容为“分类:关系 {{InfoBox |name=并 |eng_name=union }} '''并'''('''union''')指两个或多个关系作为子集的并集，也是“至少有这些关系之一”所对应的关系。 == 定义 == {{Operation |name=并 |symbol=<math>\cup</math> |latex=\cup |operand=关系 |result=关系 |prototype=布尔代数 }} 对集合 <math>X</math> 、 <math>Y</math> 上的关系 <math>R</math> 、 <math>S</math> ，记并集 <math>R \cup S = \left\{ \langle x, y \r…”）
• 2023年4月14日 (五) 15:15 Gsxab 留言 贡献创建了页面交（关系） （创建页面，内容为“分类:关系 {{InfoBox |name=交 |eng_name=intersection }} '''交'''('''intersection''')指两个或多个关系作为子集的交集，也是“同时有这些关系”所对应的关系。 == 定义 == {{Operation |name=交 |symbol=<math>\cap</math> |latex=\cap |operand=关系 |result=关系 |prototype=布尔代数 }} 对集合 <math>X</math> 、 <math>Y</math> 上的关系 <math>R</math> 、 <math>S</math> ，记交集 <math>R \cap S = \left\{ \langle…”）
• 2023年4月13日 (四) 17:21 Gsxab 留言 贡献创建了页面定义域、值域（关系） （创建页面，内容为“分类:关系 {{InfoBox |name=定义域 |eng_name=domain of definition }} {{InfoBox |name=值域 |eng_name=range |aliases=codomain of definition }} '''定义域'''('''domain of definition''')、'''值域'''('''codomain of definition''')指对一个关系，所有有关系的两个元素中可能的第一元素的元素所构成的集合。 == 定义 == 对 <math>X</math> 和 <math>Y</math> 上的关系 <math>R</math> ： 定义集合 <math>\left\{ x \mid…”）
• 2023年4月12日 (三) 04:39 Gsxab 留言 贡献创建了页面分类:希腊字母 （创建页面，内容为“{{#default_form:}} 分类:记号”）
• 2023年4月12日 (三) 04:28 Gsxab 留言 贡献创建了页面分类:拉丁字母 （创建页面，内容为“{{#default_form:}} 分类:记号”）
• 2023年4月12日 (三) 04:25 Gsxab 留言 贡献创建了页面分类:记号 （创建页面，内容为“{{#default_form:}}”）
• 2023年4月10日 (一) 16:07 Gsxab 留言 贡献创建了页面分类:关系 （创建页面，内容为“{{#default_form:}} 分类:朴素集合论”）
• 2023年4月10日 (一) 15:54 Gsxab 留言 贡献创建了页面关系 （创建页面，内容为“分类：关系 {{InfoBox |name=关系 |eng_name=relation }} '''关系'''('''relation''')是描述两个或多个集合中元素之间的关联的数学对象。 默认情况下，关系指二元关系。 == 定义 == 对 <math>n</math> 个集合 <math>A_1, A_2, \dots, A_n</math> 有笛卡尔积 <math>A_1 \times A_2 \times \dots \times A_n</math> ，则其子集 <math>R \subseteq A_1 \times A_2 \times … \times A_n</math> 称为 <math>A_1, A_2, \dots, A_n…”）
• 2023年4月9日 (日) 15:47 Gsxab 留言 贡献创建了页面分类:集合 （创建页面，内容为“{{#default_form:}} 分类:朴素集合论”）