Talk:Stone–Čech compactification

Naming injustice?
I wonder if there is a principal reason to call this compactification Stone--Čech and not Čech--Stone. If a mathematical phenomenon is discovered by two people at the same time, the custom is to use their names in the alphabetical order. For some reason, the authors of this compactification are often referred in the opposite order. Any chance this is just bias of the English-speaking world? I would guess that the English-speaking mathematicians probably didn't hear about Čech's result until much later, when they were already accustomed to attributing this to Stone. If this is the case, then I believe that Wikipedia should stand as an example and present the names in the correct order. — Preceding unsigned comment added by 2A00:23C7:85B9:401:948D:585E:D448:EAAD (talk) 10:02, 9 November 2020 (UTC)


 * I agree with the preceding comment. It hasn't been addressed for four years. Why is it so? 147.231.89.4 (talk) 07:20, 9 April 2024 (UTC)

Awesome
I used this compactification just the other day and was able to reduce the volume of all things I won by 1.5 to 3 times. Thanks Wikipedia! —Preceding unsigned comment added by 70.162.83.30 (talk) 02:18, 17 September 2007 (UTC)

Overkill
The application to functional analysis strikes me as the most amazing piece of overkill and actually achieves very little. You can characterise the dual space of $$L^{\infty}$$ in a trivial manner - it's just the space of finitely additive finite measures on the underlying measure algebra. This is about a five line proof. Bringing the Stone Cech compactification and the Riesz representation theorem into it just complicates the issue for no apparent gain. David MacIver 18:00 21st April

> What if we change it for "the computation of the dual space of C_b(X)";   C_b(X) being the space of continous and bounded scalar-valued functions over a completely regular topological space? Do you think that would be more interesting or is it also "trivial"?

It is true that you can caracterize the dual space of $$L^{\infty}$$ in more elemental terms (though I wouldn't say "trivially") but I find it amazing that you can get a countably additive measure instead of a finitely additive one by enlarging its support. Anyway, I always find myself amazed by things other (smarter) mathematicians consider trivial.

Could you indulge me and write down that five line proof for me? J L 23:14, 22 April 2006 (UTC).

Sure. (Sorry for the delay. I don't have net access at the moment).

Define T : l^inf* -> { finitely additive measures on N } by Tf (A) = f(I_A) (where I_A is the indicator function of A). It's obvious that this is linear and gives a finitely additive measure. We just need to show that it's a bijection.

S, the set of simple functions (linear combinations of indicator functions) is dense in l^inf. If Tf = Tg then f and g agree on simple functions, and so by continuity they agree everywhere. Thus T is injective.

Now let m be a finitely additive measure. Without loss of generality we can assume it's positive. Then we can define f' on S by f'(I_A) = m(A) and extending linearly. Then (by positivity) we have ||f'|| <= m(N). So f' is continuous and can thus be extended to a linear functional on l^inf, say f. Obviously Tf = m.

QED

Ok, a bit more than five lines. Still short though.

David MacIver 10:15 9th May


 * I guess to capture l^inf* fully you also need to define some norm on the space of finitely additive measures on N and show that T and T&minus;1 are continuous. AxelBoldt 22:23, 28 May 2006 (UTC)


 * I think ||mu|| = sup { sum_k |mu(A_k)| : A_k is a finite partition of N } works, by analogy with something similar in the countably additive case. I wouldn't swear to it though - I'll try and check the details later. I think in this case, T and T^{-1} should actually be isometries. David MacIver 14:25 1st June


 * I was reading Carothers's A short course on Banach Space Theory yesterday and happened to come across a section which has bearing on this. Firstly, my conjecture about the appropriate norm on the space of finitely additive measures was correct (I never got around to verifying the details myself). Secondly, this is of independent interest. You can essentially run this proof backwards - show that finitely additive measures on D correspond to countably additive measures on beta D, use this to deduce a (slightly weakened) form of the Riesz representation theorem for Stone Cech compactifications of discrete spaces, then use a pull back argument to get it for arbitrary compact hausdorff spaces. The only weakening this involves is that the measures are Baire measures rather than Borel (The Baire measurable sets are the smallest sigma algebra such that all continuous real valued functions are measurable). This isn't really much of a weakening, as in the cases where these two are different the Baire algebra is in some sense the more natural one to consider anyway. David MacIver 17:30 7th June

The page says "every noncompact metric space contains a copy of betaN", which confuses me: (0,1) is a noncompact metric space of cardinality 2^omega - how can it contain a "copy" of betaN, which is of cardinality 2^2^omega?

I'm removing the sentence about "copy of Bw in any noncompact metric space", because it's just plain wrong. (Another example: the discrete omega is a noncompact metric space, with the discrete metric. How could it contain a copy of betaomega?) Aug 25 Jan Stary

Question about Overkill
I have a question about the proof given at the "Overkill" section.

Concerning the statement:

"Now let m be a finitely additive measure. Without loss of generality we can assume it's positive."

Why is it that we can assume that the measure `m' is positive? Is there some sort of Hahn descomposition for finitely additive measures?

I will be grateful if someone could clarify on this point or correct the proof. —Preceding unsigned comment added by 24.232.44.135 (talk)

Is the title of the application appropriate?
A section is named: An application: the dual space of the space of bounded sequences of reals. But we are speaking about the dual space of $$l^\infty(\mathbb{N})$$, i.e., about integers, not reals, aren't we? --Kompik (talk) 15:21, 31 January 2008 (UTC)
 * Feeling ashamed of this silly mistake. Of course we are talking about reals and $$\mathbb{N}$$ stands for sequences. --Kompik (talk) 14:13, 7 February 2008 (UTC)

Construction using ultrafilters
The construction using the Stone space of the complete Boolean algebra of all subsets of $$X$$ does not even mention the topology of $$X$$, so it's probably wrong. I think, one has to use a different basis, namely the one consisting only of those sets $$\{U \mid A \in U\}$$ with open $$A$$. Does anyone know whether this is correct? —Preceding unsigned comment added by 129.187.111.36 (talk) 11:15, 26 May 2009 (UTC)


 * The construction as described only works for discrete X, as clearly stated in the very first sentence of the section, so there is no need to mention the topology, and your basis coincides with the usual basis of the Stone space.


 * If you are interested in a generalization to non-discrete T3½ spaces, it's more complicated: it does not suffice to change the topology, you have to change the underlying set as well. (Even the cardinalities do not match: for example, if X is an infinite compact space of size κ, then βX = X has size κ, but there are 22 κ ultrafilters.) It goes as follows. The set Z(X) of zero sets in X is a lattice, hence we can speak about filters in Z(X). We define βX as the set of all maximal filters in Z(X), and we put a topology on it by taking sets of the form $$\{F\in\beta X\mid A\notin F\}$$ for A ∈ Z(X) to be the basis. The embedding of X in βX is given by $$x\mapsto\{A\in{\rm Z}(X)\mid x\in A\}$$. One can check that βX introduced in this way is a compact Hausdorff space satisfying the universal property of the Stone–Čech compactification for any Tychonoff space X. If X is normal, the construction can be slightly simplified: we can take maximal filters of closed sets instead of zero sets. — Emil J. 12:50, 26 May 2009 (UTC)


 * This more general approach is (very briefly) described in the article Wallman compactification.--Kompik (talk) 10:50, 7 March 2012 (UTC)

Applications?
Obviously compactification is of inherent interest, but are there any wellknown theorems in e.g. analysis, differential equations, etc, that hinges on the existence of a compactification? YohanN7 (talk) 21:46, 7 July 2010 (UTC)

Good question -- over to you guys that know - chadnash

Notation
Where does the beta-notation come from?

Thanks!! 131.130.16.86 (talk) 11:47, 24 January 2011 (UTC)
 * I don't know, but in general, compactifications are denoted by lowercase Greek letters.—Emil J. 14:23, 25 January 2011 (UTC)

Tychonoff before Stone and Čech?
In this revision the information that The Stone–Čech compactification was first considered by Tychonoff and later by Stone and Čech. The same information is given at given at Russian wikipedia Компактификация Стоуна — Чеха.

I was trying to find whether this is true. According the sources I was able to find seems that it is not true.

Quote from Allen Shields: Years ago. The Mathematical Intelligencer, Volume 9, Number 2, 61-63,
 * Stone-Čech Compactification. Čech's contribution is Čech [1937]. We quote from his introduction:.
 * An important result was added by Tychonoff [1929], who proved that complete regularity is the necessary and sufficient condition for a topological space to be a subset of some bicompact Hausdorff space. As a matter of fact, Tychonoff proves more, viz. that, given a completely regular space S, there exists a bicompact Hausdorff space $$\beta(S)$$ such that (i) S is dense in $$\beta(S)$$, (ii) any bounded continuous real function defined in the domain S admits of a continuous extension to the domain $$\beta(S)$$.
 * If this were correct, it would seem that an injustice had occurred, and one should call this the Tychonoff compactification. ... Reading Tychonoff one does not find result (ii) above cited by Čech.

Also the nice diagram on p.27 of Russell C. Walker: The Stone-Čech compactification might be of interest in this connection. In fact, the only source supporting this claim, that I was able to find, is C. Wayne Patty: Foundations of topology By, p. 236:
 * The compactification (given in the proof of Theorem 6.41) that was constructed by Tychonoff is name in honor of Eduard Čech (1893-1960) and M.H. Stone (1903-2008) who, in 1937, independently developed its properties by proving the results we state as Theorems 6.42, 6.47, and 6.48.

Does anyone know about other sources supporting Tychonoff's precedence? If the claim is false, does anybody know where the misconception came from? --Kompik (talk) 22:43, 17 November 2011 (UTC)


 * The wording in the article has been changed to 'The Stone–Čech compactification occurs implicitly in a paper by Tychonoff' see this edit. This agrees with the above quote from Shields' paper. So I guess this issue is resolved. --Kompik (talk) 10:24, 4 May 2012 (UTC)

Unique map is a lift?
Is there a reason, eluding me, for calling the unique map βf : βX → K a 'lift' of f : X → K ? Given the shape of the diagram, I would have rather said that βf extends f along the map X → βX. In the closing paragraph of that first section, it is properly termed the extension property of the functor β. 199.84.42.113 (talk) 20:31, 29 February 2012 (UTC)
 * Well, if you rotate the diagram 90 degrees to the left, it looks like a lift. Is there some precise notion of the word lift you have in mind, that βf fails to be? --Trovatore (talk) 21:54, 29 February 2012 (UTC)