Ellis–Numakura lemma

In mathematics, the Ellis–Numakura lemma states that if S is a non-empty semigroup with a topology such that S is compact and the product is semi-continuous, then S has an idempotent element p, (that is, with pp = p). The lemma is named after Robert Ellis and Katsui Numakura.

Applications

Applying this lemma to the Stone–Čech compactification βN of the natural numbers shows that there are idempotent elements in βN. The product on βN is not continuous, but is only semi-continuous (right or left, depending on the preferred construction, but never both).

Proof
  • By compactness and Zorn's Lemma, there is a minimal non-empty compact sub semigroup of S, so replacing S by this sub semi group we can assume S is minimal.
  • Choose p in S. The set Sp is a non-empty compact subsemigroup, so by minimality it is S and in particular contains p, so the set of elements q with qp = p is non-empty.
  • The set of all elements q with qp = p is a compact semigroup, and is nonempty by the previous step, so by minimality it is the whole of S and therefore contains p. So pp = p.
gollark: I hope that [[EXPUNGEMENT EXPUNGED]] Contingency 186-B || || Site-41 emergency defensive array || || lunar removal procedures [DATA [REDACTED]] || || conceptual transfer from github.com and associated sites || || singularity generation apparatus countermeme deployment via r/MemeEconomy || || `#![forbid(unsafe_code)]` deployed globally temporal manipulation in order to generate uptime.
gollark: That is quite rude.
gollark: ...
gollark: Suuuuuure it is.
gollark: ```osmarks@fenrir ~/Downloads> avinfo shrek.webm [libdav1d @ 0x55f88f9249c0] libdav1d 0.7.1Input #0, matroska,webm, from 'shrek.webm': Metadata: title : 8MiB shrek COMMENT : I'd just like to interject for a moment. What you're referring to as systemd, is in fact, Emacs/systemd, or as I've recently taken to calling it, Emacs plus systemd. COMPOSER : Todd Howard ENCODER : Av1an+opusenc Duration: 01:30:08.51, start: -0.007000, bitrate: 12 kb/s Stream #0:0: Video: av1 (Main), yuv420p10le(tv), 128x72, SAR 1:1 DAR 16:9, 6 fps, 6 tbr, 1k tbn, 1k tbc (default) Metadata: DURATION : 01:30:08.513000000 Stream #0:1: Audio: opus, 48000 Hz, mono, fltp (default) Metadata: DURATION : 01:30:08.461000000[libdav1d @ 0x55f88f963f80] libdav1d 0.7.1```

References
  • Argyros, Spiros; Todorcevic, Stevo (2005), Ramsey methods in analysis, Birkhauser, p. 212, ISBN 3-7643-7264-8
  • Ellis, Robert (1958), "Distal transformation groups.", Pacific J. Math., 8: 401–405, doi:10.2140/pjm.1958.8.401, MR 0101283
  • Numakura, Katsui (1952), "On bicompact semigroups.", Math. J. Okayama University., 1: 99–108, MR 0048467
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.