请输入您要查询的字词:

 

单词 Irreflexive
释义

irreflexive


A binary relationMathworldPlanetmath on a set A is said to be irreflexiveMathworldPlanetmath (or antireflexive) if aA, ¬aa. In other words, “no element is -related to itself.”

For example, the relationMathworldPlanetmath < (“less than”) is an irreflexive relation on the set of natural numbers.

Note that “irreflexive” is not simply the negationMathworldPlanetmath of “reflexiveMathworldPlanetmathPlanetmath (http://planetmath.org/Reflexive).” Although it is impossible for a relation (on a nonempty set) to be both reflexive (http://planetmath.org/Reflexive)and irreflexive, there exist relations that are neither. For example, the relation {(a,a)} on the two element set {a,b} is neither reflexive nor irreflexive.

Here is an example of a non-reflexive, non-irreflexive relation “in nature.” A subgroupMathworldPlanetmathPlanetmath in a group is said to be self-normalizing if it is equal to its own normalizer. For a group G, define a relation on the set of all subgroups of G by declaring HK if and only if H is the normalizer of K. Notice that every nontrivial group has a subgroup that is not self-normalizing; namely, the trivial subgroup {e} consisting of only the identityPlanetmathPlanetmathPlanetmathPlanetmath. Thus, in any nontrivial group G, there is a subgroup H of G such that ¬HH. So the relation is non-reflexive. Moreover, since the normalizer of a group G in G is G itself, we have GG. So is non-irreflexive.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/3 13:17:54