-1
$\begingroup$

$\infty - \infty$ is indeterminate.

Is $\aleph_1 - \aleph_0$ also indeterminate?

$\endgroup$

closed as unclear what you're asking by user99914, Stefan4024, Ove Ahlman, Claude Leibovici, Rebellos Nov 29 '17 at 10:53

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ What's $\aleph_1-\aleph_0$ mean? $\endgroup$ – user223391 Nov 29 '17 at 0:59
  • $\begingroup$ math.stackexchange.com/questions/140930/… $\endgroup$ – user223391 Nov 29 '17 at 1:01
  • 1
    $\begingroup$ @Jake what do you see going on that would count as harassment? One useful tool of teaching is in asking leading questions. Generally through the use of asking questions, the one being asked can answer and see how that question and answer relates to their original question. $\endgroup$ – JMoravitz Nov 29 '17 at 1:10
6
$\begingroup$

These are completely unrelated questions.

The notion of extended real number — the kind of thing which $\infty$ and $-\infty$ are — is geometric in nature; it has absolutely nothing to do with cardinality.

The reason $\aleph_0 - \aleph_0$ is undefined in cardinal number arithmetic is completely different than the reason $\infty - \infty$ is undefined in extended real number arithmetic.

In cardinal number arithmetic, it would be reasonable to define $\aleph_1 - \aleph_0 = \aleph_1$. Or more generally, if $\alpha$ and $\beta$ are cardinal numbers with $\alpha < \beta$ and $\beta$ infinite, then it would be reasonable to define $\beta - \alpha = \beta$.

$\endgroup$

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