Talk:Aleph number

From Wikipedia, the free encyclopedia

Mathematics Portal

This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.

Mathematics rating:

Start Class

High Priority

Field: Foundations, logic, and set theory

Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments.
Please add to or update the comments to suggest improvements to the article.
Add a reference or two and upgrade to B-Class! Geometry guy 01:15, 15 June 2007 (UTC)

1 Algebraic infinity
2 Merges
3 Countable subsets
4 Consistent glyph
5 Pronunciation
6 Aleph two
7 Aleph-not?
8 Possible origins
9 ∞ isn't just ∞
10 Internet Explorer
11 bijective/bijection
12 Definition
13 Notice ω1 is an uncountable set
14 Choice
15 Missing ℵ

[edit] Algebraic infinity

I'm not sure about the paragraph discussing the aleph numbers and algebraic infinity - I think it might cause some confusion, since it states that the two are unrelated, yet aleph numbers were developed to deal with infinite sets. Perhaps something that explains the difference? -- ocmpoma

[edit] Merges

I've merged together the aleph-null, aleph-one articles, and the fragement from the aleph article. I think this is justified because the alephs, particularly aleph-null and aleph-one, are so closely tied together that they should be discussed in the same article. This now needs copyediting and review by someone else. -- The Anome 11:11, 11 Aug 2003 (UTC)

good idea. It looks pretty good to me! :) -- Tarquin 13:52, 11 Aug 2003 (UTC)

Looks good to me, I'm in disagreement with Michael Hardy regarding the definition of Aleph-1 and haven't had the time to actually follow through on some of the research. I claim that that Aleph-1 (with the Axiom of Choice) = the smallest infinite cardinality greater than Aleph-0, but not necessarily equal to the continuum, while he claims that Aleph-1 = the continuum, but it is uncertain whether there are values between the two. (Hope I summerized the disagreement properly). If there are other people with knowledge here, I'd appreciate their input. GulDan 17:48, 11 Aug 2003 (UTC)

You have not summarized the disagreement at all correctly. Michael Hardy was pointing out that "aleph_1 is the next cardinal after aleph_0" is a theorem of ZFC, not the definition of aleph_1. He certainly did not say that aleph_1 = the continuum. --Zundark 21:10, 3 Sep 2003 (UTC)

Thanks for the correction. I realized later that my def was off too, but he was still accepting the CH which was my primary complaint. However, all is fixed now. Once again, thanks for the clarification. GulDan

[edit] Countable subsets

I have read in quite a few books on the so-called "extremely useful" and "remarkable" property of Aleph-one that every countable subset of it has an upper bound in it. But the only example that I know that actually uses this fact is trying to find an explicit description of the sigma algebra generated by a collection of subsets. I would guess that it is useful for closure with respect to countable operations (such as countable unions + complements in the sigma algebra case). But if anyone has more examples or can elucidate this issue... suggestions welcome (and add it to aleph-one).

Choni 10:10, 21 Nov 2003 (UTC)

[edit] Consistent glyph

Is there more work needed to get total consistency in the typo-style for the aleph-null glyph? - Bevo 20:04, 4 Mar 2004 (UTC)

[edit] Pronunciation

Should we mention that Aleph-null is also pronounced Aleph-nought? I had never heard -null before.

[edit] Aleph two

I think the aleph two section is completely wrong; I'm going to remove it completely. Aleph two is not as interesting as some other alephs anyway, like aleph omega-sub-six (which cannot be equal to the continuum -- I think).

It was wrong insofar as it said "second smallest" instead of "third smallest infinite". I'm not sure it was best to remove it completely, rather than just correcting it.

Can you explain why aleph_{omega_6} is not the continuum? I thought it was known that this could not be proved in ZFC (assuming ZFC is consistent), because aleph_{omega_6} has uncountable cofinality. --Zundark, 26 Jul 2004

Ok first off, what is aleph_{omega_6}? Why omega_6? Just plain aleph_omega, the first aleph after the alephs with finite indices, has countable cofinality and hence cannot be the continuum.-- Choni

[edit] Aleph-not?

I've heard it referred to as Aleph-not on multiple occasions, perhaps a page for Aleph-not should be redirected to here?

actually its spelled "Naught"

[edit] Possible origins

This section is mere speculation at this time. Should be sourced or deleted. BTW it seems a little implausible to me that Cantor used "aleph" to suggest an identity between mathematical infinite and theological infinite. I think that would have struck him as sacrilege; as I understand it he chose the term "transfinite" as opposed to "infinite", at least in part, specifically to avoid such an implication. --Trovatore 19:46, 24 July 2005 (UTC)

[edit] ∞ isn't just ∞

Maybe i'm wrong but i think that ∞ isn't just ∞.. There are different orders of infinity.. e.g.: Limit(x / e^x, x->∞) -> 0, so e^∞ is an infinite grater than the mere ∞.

You're probably thinking of Big O notation or asymptotic analysis, which don't have much to do with infinite cardinals. Note that $\lim_{x \to \infty} f(x) = \infty$ simply means that f(x) increases without bound, that is, f(x) can be made larger than any specified real number by choosing an appropriate value for x. —Keenan Pepper 15:28, 31 January 2006 (UTC)

No, there is a sense that there are different orders of "plain" ∞, specifically, infinite sums like

$\sum_{i=0}^{\infty} f(i)$

add together a countable number of terms, whereas integrals like

$\int_{a}^{\infty} f(x)\,dx$

are sums of an uncountable number of values. — Loadmaster 17:46, 2 October 2007 (UTC)

[edit] Internet Explorer

I notice JRSpriggs always undoes changes that make use of the ℵ symbol and prefers that a image is generated for it instead because Internet Explorer doesn't support them. I just checked here and I can see them just fine in Internet Explorer 6. I doubt it's an issue with IE, more likely is that JRSpriggs has font problems. From my reading of the Wikipedia rules it appears that it is more accessible and is better to use the actual characters in cases such as this? —The preceding unsigned comment was added by 71.193.190.213 (talk • contribs) .

I'm not sure what JRSpriggs's technical problems are, but he also can't view the "element of symbol", and so won't allow them in articles he works on either. It's a sad state of affairs. -lethe ^{talk +} 04:33, 11 June 2006 (UTC)

I agree, there's nothing wrong with Internet Explorer. (Wait, wtf did I just say? I meant it's not IE's fault in this particular case...) JRSpriggs just doesn't have a font that has the aleph character. —Keenan Pepper 16:54, 11 June 2006 (UTC)

That's what I initially thought as well, but when this first came up, I think we established that this is not the problem; the character displays correctly for JRSpriggs in Firefox, but not in IE. So his system must have a font with the symbol, right? If IE works for some people and and JRSpriggs does have the fonts necessary, I have no idea why his system won't display the symbols, but apparently he's not the only one (his nephew as well). -lethe ^{talk +} 17:49, 11 June 2006 (UTC)

Here's some history of this issue. This was first brought up here, and afterwards JRSpriggs changed from unicode to inline PNGs in about a dozen different articles. I then brought it up at the project talk page. -lethe ^{talk +} 18:11, 11 June 2006 (UTC)

Here's how I see it:

JRSpriggs has the right font.
Others, using IE and the right font, can see ℵ, but JRSpriggs can't.
So JRSpriggs' copy of IE must not know how to find the right font, or hasn't been told that it's supposed to use it.

This is a guess, of course, but it seems like the place to look. JR, could you go into Preferences in your copy of Firefox and figure out where it's looking for fonts, and then tell IE where that is, or else copy them into your C:\Windows\Fonts directory and "install" them or whatever it is you have to do? --Trovatore 19:44, 11 June 2006 (UTC)

So actually, if you follow the link above to the discussion on the math project talk page, you will find that you also verified that your own copy of IE exhibits the same behavior. Maybe tomorrow I will go find a Windows computer in the lab and check it myself. -lethe ^{talk +} 20:24, 11 June 2006 (UTC)

Both my copy of Firefox and my copy of Internet Explorer say that they are using Unicode (UTF-8) as their character encoding. Auto-select is turned off for both. Are those the correct choices? JRSpriggs 03:11, 12 June 2006 (UTC)

[edit] bijective/bijection

Regarding the recent, shall we say, edit skirmish, here's how I see it: JR wants "bijective" and "one-to-one" both to modify "correspondence". That's perfectly cromulent grammar, but you need to punctuate it as follows:

..a bijective, or "one-to-one", correspondence...

because otherwise it's not clear that "correspondence" is supposed to distribute over the "or". If you do it like that, though, it becomes problematic to wikilink, at least if you want to wikilink both bijective and one-to-one correspondence.

In fact, though, bijective and one-to-one correspondence are both redirects to bijection, so you really shouldn't wikilink them, per the MoS.

So no vote, per se, on my part as to the conflict between the two editors; just a suggestion that if JR's sentence structure is used, then the commas should be placed as I have recommended, and "one-to-one correspondence" should not be wikilinked. --Trovatore 16:45, 26 August 2006 (UTC)

[edit] Definition

I'm a little concerned that the article "Aleph number" doesn't actually define $\aleph_n$ in generality. It uses the ZFC definition of the cardinal infinite number just larger than $\aleph_{n-1}$ , but without the axiom of choice this isn't unique.

CRGreathouse (t | c) 04:10, 3 January 2007 (UTC)

[edit] Notice ω1 is an uncountable set

We currently say this:

[Aleph 1] is the cardinality of the set of all countable ordinal numbers, called ω1 or Ω. Notice ω1 is an uncountable set.

Can we explain this a bit better? How is the reader supposed to "notice" that it's uncountable? It's not stated in the ordinal number article. --P3d0 15:52, 13 June 2007 (UTC)

"Notice" is math jargon for "it can be proved that". The ordinal number article says "Also, ω₁ is the smallest uncountable ordinal". I rephrased that sentence, but feel free to edit it more thoroughly to explain. — Carl (CBM · talk) 14:05, 14 June 2007 (UTC)

I have tried to explain it.--Patrick 13:49, 15 June 2007 (UTC)

I added the section Ordinal_number#Miscellaneous.--Patrick 14:13, 15 June 2007 (UTC)

[edit] Choice

Do you have to assume choice to show aleph null is the smallest infinite cardinality? This would surprise me if true... 137.222.230.13 (talk) 22:02, 28 February 2008 (UTC)

Well, you don't need any choice to show that there's no smaller infinite cardinality. You do need a tiny bit to show that there's no incomparable cardinality. --Trovatore (talk) 22:51, 28 February 2008 (UTC)

[edit] Missing ℵ

This article should mention the Unicode character you can get by using the symbol character &alefsym; (ℵ) rather than the TeX math markup aleph character <math>\aleph</math> ( $\aleph$ ) used in this article. That character redirects here, and it is used, for example, in the real number article, which is the only reason I know about it. Can someone fill us in on its Unicode number and the like, and that of the different Unicode aleph character which appears in the Hebrew alphabet (א} (which redirects to the aleph article, unlike the &alefsym;), etc.

$\aleph \,$ math markup
ℵ Unicode alef symbol
א Unicode Hebrew letter aleph

Gene Nygaard (talk) 11:57, 8 April 2008 (UTC)

Does that one still cause problems in IE? It would be nice to use it instead of PNGs if it works for Microsoft users. --Trovatore (talk) 16:52, 8 April 2008 (UTC)

I opened up IE 7 and took a screenshot:

It looks much better in Firefox, but all are serviceable even in Internet Explorer.

CRGreathouse (t | c) 19:07, 8 April 2008 (UTC)

I'll have to take that back halfway. The unicode aleph symbol doesn't show up for me at all in IE 6 (different PC). The aleph letter shows up fine. CRGreathouse (t | c) 23:08, 8 April 2008 (UTC)

I can't see the unicode character either; nor can I see the element symbol above. In fact, I've had trouble seeing a lot of unicode on Wikipedia. My IE7 seems fine in all other ways. I'm not sure why I'm having this problem.Eebster the Great (talk) 00:05, 9 April 2008 (UTC)

Alefsym and the unicode alef are still not readable in my copy of Internet Explorer. However, I only use Firefox now when reading Wikipedia, and I have no trouble in Firefox. JRSpriggs (talk) 08:49, 9 April 2008 (UTC)