Talk:Locally compact space

I believe that the reason that some people use the definition require a local base of compact neighbourhoods is that this has been found to be a useful concept in the nonHausdorff context, whereas the definition requiring only a single compact neighbourhood has not. There is nothing in Wikipedia yet about nonHausdorff locally compact spaces in either sense, but I suggest that we set ourselves up in a position to talk about a useful concept in the future by switching the definition that Wikipedia uses. This is easy to do now; just change this and the topology glossary. — Toby Bartels, Sunday, June 9, 2002

Sure, if you think the other concept is more useful, let's change it. AxelBoldt, Sunday, June 9, 2002

---

I moved some of the examples over to compact space.

Is it actually true that all compact spaces are locally compact? Just checking :-)

See below.

This is the reason that I arranged the examples as I did: I wanted to highlight all the possible contrasting possibilities: spaces that were compact, spaces that were locally compact but not compact, spaces that weakly locally compact but not strongly locally compact, and spaces that weren't even weakly locally compact. Then, given the importance of the separation axioms, I wanted examples in each case of both Tychonoff and nonregular spaces. Thus:

	Tychonoff	nonregular
Compact	Examples!	Examples!
LC, not C	Examples!	Examples!
WLC, not LC	nonexistent	Examples!
Not WLC	Examples!	too generic to bother mentioning

I don't think it's a crime to have examples duplicated on more than one page. OTOH, you seem to have a different philosophy towards the examples entirely.

— Toby Bartels, Wednesday, June 26, 2002

I moved the following example:

Some weakly locally compact spaces that aren't locally compact: the right order topology or left order topology on any unbounded totally ordered set, in particular: the right order topology or left order topology on the set R of real numbers, useful in the study of semicontinuous functions

I believe the left order topology on R is locally compact. If x∈R, then ]-∞, x+1/n] for n∈N is a local neighborhood base for x consisting only of compact sets.

Hey, you use the backwards bracket thing too! Any chance we can get that accepted as standard practice on Wikipedia?

Well, your argument seems correct, but that's not what I remember from Steen & Seebach; let me check again ....

Well, I double checked Steen & Seebach, and it looks like they are using yet another definition of locally compact (their "strongly locally compact", since they use "locally compact" for the old fashioned weak sense). I had read this wrong (it is again equivalent in the Hausdorff case). This puts into doubt the claim that every compact space is locally compact, for which I was relying on Steen & Seebach since I didn't see how to prove it, and also removes any indication that I have of a source that calls our local compactness "strong". (The new definition, BTW, is: every point has an open neighbourhood with compact closure.)

Now I want to go back and check everything over again. I apparently don't have a source that covers all 3 definitions at once. I'll report back tomorrow with what I can come up with, or you can think about it — you've got the definitions now too.

— Toby Bartels, Wednesday, June 26, 2002

Heh, so much for tomorrow. I'll be gone until Monday evening — then I'll work this mess out. In the meantime, visitors to the main article should be sufficiently warned. — Toby Bartels, Friday, June 28, 2002

Maybe we can avoid confusing the beginner by first explaining the standard locally compact notion for Hausdorff spaces (which is what most people need and where the definitions all agree), with all the common examples and properties, and then have a separate section where the various definitions for non-Hausdorff spaces are compared.

The reason I edited the examples was the same: I find it more important that the reader first gets a good grasp of the concept by studying simple motivating examples, rather than find themselves in an overwhelming glut of tiny distinctions that are really only important for the specialists working in the field. AxelBoldt, Friday, June 28, 2002

OK, I've written a new version now with these principles in mind. (Note that I also added the Hausdorffness condition to Wikipedia's definition of topological vector space; the simplicity that this brought to the discussion of TVSs in this article is characteristic of the reasons for that requirement in the definition.) Have at it. — Toby Bartels, Wednesday, July 3, 2002

---

Some thoughts inspired by Axel's recent changes: I've always felt that the complex numbers were a red herring in functional analysis — when you get down to it, you can do most of this stuff over any commutative real C*algebra, so ¿what's so special about C? — which explains my focus on real-valued functions as the simplest example. But I agree that the complex-valued case is so common that it merits a mention here — especially as regards the Gelfand-Naimark theorem, the real version of which exists but is not quite as I had stated it. I do object to using notation like "C₀" for the complex case as a default, but I agree that that's pretty common too. — Toby Bartels, Saturday, July 6, 2002

---

Is the classification of the commutative C* algebras really called "Gelfand-Naimark Theorem"? I seem to recall that name for the result that any C* algebra is a *-subalgebra of the algebra of linear continuous operators on some Hilbert space. AxelBoldt, Saturday, July 6, 2002

What you are citing is called "Gelfand Naimark Segal". Specifically, the Gelfand Naimark Segal construction takes a C* algebra and an element of the algebra and constructs from that a Hilbert space and a representation of the C* algebra on the Hilbert space. Your statement, the Gelfand Naimark Segal theorem, follows because the element of the algebra can be chosen so that the representation is faithful. A quick web search for "gelfand" AND "naimark" AND "theorem" brings up many references to my theorem but no references to your theorem that don't also have the name "Segal" attached. There do seem to be generalisations of the GN theorem to noncommutative C* algebras, representing the C* algebra as an algebra of functions defined on a noncommutative space (see the introduction to http://nyjm.albany.edu:8000/PacJ/1998/184-1-5 for a survey), but this is again different from the GNS theorem — although I wouldn't be surprised if the GNS theorem couldn't be made a corollary of some of these generalisations, nor would I be surprised if the generalisations made use of the GNS construction. Still, the basic idea seems clear: a GN theorem represents the C* algebra as bounded functions on a topological space (or generalisation thereof), while a GNS theorem represents the C* algebra as bounded operators on a Hilbert space. — Toby Bartels, Saturday, July 6, 2002

The first paragraph has a link to "local base," which describes them as a collection of open sets. Doesn't this contradict the parenthetical sentence which asserts that the neigborhoods need not be open? Bill Kielhorn, Mar 31, 2003.

Yes, thanks for the catch! I'll fix it. AxelBoldt 16:53 Apr 21, 2003 (UTC)