7
$\begingroup$

Does there exist any mathematical notation that would indicate that a set $V$ is non-empty and finite? Or would I have to write this out in words?

$\endgroup$
2
  • 2
    $\begingroup$ You can write $S\ne \emptyset,|S|<\infty$ $\endgroup$
    – pritam
    Sep 23 '12 at 16:34
  • 2
    $\begingroup$ For some additional suggestions for finite, see this link (one can easily add in the non-empty part). Best not to do it, usually. Words are good. $\endgroup$ Sep 23 '12 at 16:36
8
$\begingroup$

To say that $V$ is not empty you can either say so or write $V\neq\emptyset$ or $|V|>0$.

To say that $V$ is finite you can either say so or write $|V|<\aleph_{0}$.

So you can write something like $0<|V|<\aleph_{0}$ to say that $V$ is a non-empty finite set.

Added: in many context (mainly non set theory wise where just writing infinity is not common) you can replace $\aleph_{0}$ with $\infty$

$\endgroup$
1
  • $\begingroup$ @ZhenLin - corrected, thanks for pointing the typo out $\endgroup$
    – Belgi
    Sep 23 '12 at 16:39
1
$\begingroup$

You can use the cardinality notation. The cardinality of a set $A$ is usually denoted as $|A|$. If the set is non-empty and finite, you can express this as:

$$ A \neq \emptyset, |A| < \infty $$

However, I think that explaining this in words would be clearer.

$\endgroup$
6
  • $\begingroup$ So in that case could I also do $0 < |A| < inf$? $\endgroup$
    – arshajii
    Sep 23 '12 at 16:37
  • $\begingroup$ @A.R.S. That's another way to put it. It would work too. $\endgroup$ Sep 23 '12 at 16:38
  • $\begingroup$ @A.R.S. : I wouldn't use inf, $\infty$ is really more appropriate. The reason for this is that the word inf is mostly used for infimums in analysis, so your last sentence is just as readable as $a+\% b=! ?$ for some people. It would be understood but not at first sight. $\endgroup$ Sep 23 '12 at 17:08
  • $\begingroup$ @PatrickDaSilva Yea you're right - I just didn't know how to obtain the infinity symbol on the comment :P But thank you for the tip! $\endgroup$
    – arshajii
    Sep 23 '12 at 17:39
  • 2
    $\begingroup$ @A.R.S. Use this: $\infty$. $\endgroup$ Sep 23 '12 at 18:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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