Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathcal R$ be a relation on $S$ and let $T \subseteq S$.

It seems there are two notions floating around of an $\mathcal R$-minimal element of $T$:

  1. $x$ is an $\mathcal R$-minimal element of $T$ iff $\forall y \in T: (y \mathrel{\mathcal R} x \implies y = x)$
  2. $x$ is an $\mathcal R$-minimal element of $T$ iff $\forall y \in T: y \not\mathrel{\mathcal R} x$

Which of these is more common? Does the other one go by some other name?

The first is compatible with the usual notion of minimality in ordered sets, but the few pages I've found that mention the topic mostly seem to prefer the second.

share|improve this question
    
They’re the same thing, one expressed for $\le$, the other for $<$. –  Brian M. Scott Feb 22 '13 at 20:24
    
In the second do you mean $\forall y\neq x$? Otherwise it is not a very good definition for reflexive relations... –  rschwieb Feb 22 '13 at 20:25
    
Do texts really define minimality for arbitrary relations? Equality is a relation on $\Bbb N$, and in the sense of the first definition, every element is minimal. This isn't meant to sound like a criticism... I am frankly interested to know if this happens somewhere. –  rschwieb Feb 22 '13 at 20:28
    
@rschwieb Yes, for example for well-founded relations (such as $\in$) in set theory. –  Trevor Wilson Feb 22 '13 at 20:37
    
@TrevorWilson Ah OK! I see how it's natural for well-founded relations. Thanks! –  rschwieb Feb 22 '13 at 20:46

1 Answer 1

up vote 3 down vote accepted

In my experience (2) is more common when dealing with arbitrary relations. Under this definition a reflexive relation will have no minimal elements, so if you want to use this definition for posets you will want to talk about $<$-minimal elements instead of $\le$-minimal elements. (Here we use the convention that $<$ denotes a strict partial order and $\le$ denotes the corresponding weak partial order.)

People who only deal with posets and prefer to talk about about $\le$ rather than $<$ would probably prefer definition (1). I would call an $x$ as in (1) "weakly minimal" or "minimal" and call an $x$ as in (2) "minimal", "strictly minimal", or "strongly minimal", but I don't know if this agrees with others' usage.

share|improve this answer
    
I'm not accepting your answer yet, because I'm still vaguely hoping for something more definite, perhaps even with one or two references, but this is at least on-topic. –  dfeuer Feb 22 '13 at 20:51
    
@dfeuer I can say that "Set theory" by Kunen uses definition (2) (I don't have any non-set-theory books in front of me right now so I can't make a more general argument.) –  Trevor Wilson Feb 22 '13 at 21:03
    
@dfeuer And don't worry, one is not obligated to accept any answer so soon anyway. –  Trevor Wilson Feb 22 '13 at 21:05

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.