Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2017

    I gave locally compact topological space an Idea-section and added the other equivalent definition (here).

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 13th 2017

    Would some non-examples be helpful? The rationals as a subspace of the reals seems to be most frequently mentioned. And infinite-dimensional Hilbert space.

    • CommentRowNumber3.
    • CommentAuthorRichard Williamson
    • CommentTimeMay 13th 2017
    • (edited May 13th 2017)

    A very typical example is, for instance, {(0,0)}{(x,y)x>0}\{ (0, 0) \} \cup \{ (x,y) \mid x \gt 0 \} with the subspace topology from 2\mathbb{R}^{2}. Proving that this example is not locally compact is an excellent exercise (uses several basic facts about compactness and closure).

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 13th 2017

    Famously, locally compact spaces are not closed under infinite products in TopTop. They are closed under coproducts (of course), and under filtered colimits of open embeddings, as mentioned at ring of adeles.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2017
    • (edited May 14th 2017)

    Maybe #2 wasn’t so much asking for counter examples by themselves, as for their exposition being added to the entry.

    I have added now the counter-example of countably infinite product of a non-compact space.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 14th 2017

    Yes, good to know both what and why some cases fail to satisfy a property. I added the rationals as a second counter-example. (About ’counter-example’, is it normally hyphenated? And isn’t it primarily used to refer to a case counting against a proposition, something we don’t have here? Or is there an implicit proposition its countering that all spaces are locally compact?)

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 14th 2017

    Is there anything abstract general to say about local compactness? Cohesion meets compactness?

    As for an abstract version of compactness, I see at compact object it’s noted that there’s a mismatch between compact object in TopTop and compact space. Do we know the answer to Todd’s question there?

    I don’t know if the story is any different for XX compact Hausdorff, but it could be worth considering.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2017

    About ’counter-example’, is it normally hyphenated? And isn’t it primarily used to refer to a case counting against a proposition, something we don’t have here?

    How about “Nonexample”?

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 14th 2017

    I don’t (normally) hyphenate “counterexample”. (My spell-checker didn’t balk when I just wrote that. Don’t know how a UK spell-checker would react.)

    Looking over the entry, I propose that Zoran’s comment is obsolete, but I also propose that what appears above it shouldn’t really be called a proof. I’d be inclined to remove the proof environment, or else properly prove it instead of farming it out.

    I’d have to think hard about my earlier comment about compact objects in TopTop (from the Café), but I guess I’m a little skeptical that the situation would be any different for compact Hausdorff. For the moment I’m happy with applying Johnstone’s terminology to capture compact spaces (see compact element) and accepting that the compact object condition is probably too strong, although I also sense that the business about closed inclusions between T 1T_1 spaces is a hack that could be improved somewhat.

    • CommentRowNumber10.
    • CommentAuthorTim_Porter
    • CommentTimeMay 14th 2017
    • (edited May 14th 2017)

    I just found a webpage in which it states: ’OED does not include counterexample, but it does include counter-argument (note the hyphen).’ I have the shorter OED and it gives neither. The web OED gives the non-hyphenated form! Confusion.

    FWIW: The ’counter’ is, I think, the English version of ‘contre’ in French, and in that language, the norm would seem to be ’contre-exemple’.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 14th 2017

    Yes, but perhaps ’nonexample’ is better, #8.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 14th 2017

    The OED has some catching up to do, obviously. But let’s face it: “counterexample” is generally a pretty math-y term. There must be thousands of recognized math terms that are not in the OED.

    If to hyphenate or not to hyphenate is a US/UK thing, then so be it. Disputes over such things are so boring. Meanwhile, there is no disputing the fact that the unhyphenated (un-hyphenated?) form is very widespread.

    • CommentRowNumber13.
    • CommentAuthorTim_Porter
    • CommentTimeMay 14th 2017
    • (edited May 14th 2017)

    I also think it is not important but here ’non-example’ (or nonexample) might fit the bill better. (I myself tend to hyphenate when a composite word looks too long for me or difficult to understand without the hyphen.) I was surprised that ’counterexample’ was not in the shorter OED as the word is quite often met in ordinary non-mathematical discourse.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2017

    The definition section at locally compact topological space used to essentially just point to Wikipedia for the issue of alternative definitions.

    Now two alternative definitions are actually stated, and proof of their equivalence in the Hausdorff case is spelled out, here.

    More alternatives (and their conditional equivalences) could be added.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTime1 day ago

    I receive the following message regarding the entry:

    I was looking at the change you recently made to the definition of a locally compact space in nLab, specifically definition 2.2. It’s a bit confusing the way it’s stated. It purports to be a suitable definition of local compactness for not necessarily Hausdorff spaces, but any space that satisfies 2.2 is necessarily regular (as is any space with a neighborhood basis of closed sets) and so nearly Hausdorff (except for the fact that it need not be T 0T_0). An equivalent definition would be

    2.2’ A topological space is locally compact if it is (pre)regular and every point has a compact neighborhood.

    By this definition any locally compact T 0T_0 space would be locally compact Hausdorff. It’s a perfectly fine definition as far as it goes, but it doesn’t really cover the non-Hausdorff case (T 0T_0-ness aside).

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTime1 day ago

    Whoever it is seems to be correct.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTime1 day ago

    But what’s the implication? I was following definition 2.5 at compact-open topology.

    • CommentRowNumber18.
    • CommentAuthorTodd_Trimble
    • CommentTime1 day ago

    Off-hand I think that needs to be replaced with definition 2.1 of locally compact topological space. But I would need more time to look in detail at compact-open topology.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTime6 hours ago
    • (edited 6 hours ago)

    I think the point was exactly that 2.1 won’t work here in general.

    And if I understand the complaint well, the suggestion is to amplify that 2.2, while not requiring exactly Hausdorffness, does require a whole lot. That’s fine with me.

    • CommentRowNumber20.
    • CommentAuthorTodd_Trimble
    • CommentTime5 hours ago

    Well, unless my memory is deceiving me terribly, it is a theorem that a locally compact topology in the sense of 2.1, being a core-compact topology, is an exponential object topology, which I though what compact-open topology would be driving at. I’m happy to take a closer look at the situation later. I suspect a subtle adjustment might do the trick.