by math_explorer, Apr 23, 2017, 11:38 am

aka "I copy my solution to a pset and call it a post to keep my blog alive." To be fair, this is a pretty from-first-principles proof I came up with instead of consulting a book or Google. (Hopefully it's correct!)

Annoying thing: and always denote closed and half-open intervals, but sometimes denotes an open interval and sometimes denotes a point via its two coordinates, usually the latter. I'm sorry.

Definition.
  • The Sorgenfrey line is the topology on generated by the basis of all half-open intervals of the form for . It is denoted .
  • The Sorgenfrey plane is , i.e. the product of the Sorgenfrey line with itself.

Fact. The Sorgenfrey line is finer than the standard topology on (all open sets in the standard topology are also open on the Sorgenfrey line, but not vice versa.) Proof: is open in the standard topology iff for all we have ; then so is open in the Sorgenfrey line. On the other hand, the half-open intervals like are not open in .

Fact. Half-open intervals are also closed, hence clopen. Proof:
  • If , then belongs to the open set outside .
  • If , then belongs to the open set outside .

Theorem. The Sorgenfrey plane is regular (for any point and closed set not containing the point, there exist disjoint open sets around them. This terminology is infuriating but it is what it is, sigh.)

Pull BCBGMAXAZRIA Bandage Skirt On GARDENIA
Proof. In , let be a point and be a closed set not containing . Then is open, so there is a basis element of that is contained in that set, and thus disjoint from . But is the product of two closed sets, so it's also closed, so and its complement separate from .

——————

Let the antidiagonal be the subset/subspace of the Sorgenfrey plane consisting of points of the form :

Fact. is a closed subset of the Sorgenfrey plane. Proof: for every point not in :
  • If , then belongs to the open set outside .
  • If , then belongs to the open set outside .

Fact. As a subspace of the Sorgenfrey plane, inherits the discrete topology (every set is open (and closed)). Proof: for every point , the basis element only intersects at , so every one-point subset of is open in , so after arbitrary unions, every subset of is open in . Taking complements, every subset of is closed in .

Corollary. Every subset of is closed in the Sorgenfrey plane. Proof: They're a closed subset of , which is a closed subset of the Sorgenfrey plane.

Theorem. The Sorgenfrey plane is not normal (it is not true that, for any two disjoint closed sets, there exist disjoint open sets around them. You thought the word "regular" was overused? Topologists, please.)

Proof. Let and be two sets that partition , such that their projections onto are dense in under the usual topology. For example, we could take and let . By the corollary, these are both closed in . We claim that no open sets can separate and .

Suppose for the sake of contradiction that there are open sets that separate and . Then for each there exists such that is in whichever such that .

We can pick an arbitrary and , and then build an iterative sequence as follows:

It is possible to pick satisfying the first two conditions because both sets are dense in . Then one can just pick in the range given by the third condition. Note that
and
so from this definition, we can see these properties:
  • As increases, is strictly monotonically increasing.
  • As increases, is strictly monotonically decreasing.
  • , but converges to zero.

Since (under the standard topology) is locally compact, we know that the nested nonempty closed intervals have nonempty intersection. Let belong to all the intervals. Then for all . In fact, the inequalities can be strict because .

, so it belongs to some . Then since converges to zero, there exists with such that Skirt BCBGMAXAZRIA On GARDENIA Bandage Pull . But then:
  • Since we have , so , so the point is in .
  • Also since , the point is in .

This contradicts the fact that are disjoint. Thus they cannot separate and , so the Sorgenfrey plane is not regular.

Comment

"Is everyone on AoPS the same person??" — r31415 // visit me elsewhere: https://beta.vero.site/

math_explorer
Archives
February 2018
December 2017
September 2017
July 2017
March 2017
January 2017
November 2016
October 2016
August 2016
February 2016
January 2016
September 2015
July 2015
June 2015
January 2015
July 2014
June 2014
inv
April 2014
December 2013
November 2013
BCBGMAXAZRIA Skirt Pull Bandage GARDENIA On October 2013
September 2013
February 2013
April 2012
Shouts
GARDENIA Bandage Pull BCBGMAXAZRIA Skirt On Submit
  • Hullo bye

    by Kayak, Jul 22, 2018, 9:29 pm

  • It's sad; the blog is still active but not really ;-;

    by GeneralCobra19, Sep 21, 2017, 9:09 am

  • dope css

    by zxcv1337, Mar 27, 2017, 12:44 pm

  • nice blog ^_^

    by chezbgone2, Mar 28, 2016, 1:18 pm

  • shouts make blogs happier

    by briantix, Mar 19, 2016, 5:58 am

  • nice articles!!!

    by Blouse Ghada White Joie Joie Clean Clean wTfWqgpa, Mar 2, 2016, 9:40 pm

  • Your CSS is awesome

    by greenpepper9999, Oct 3, 2015, 10:24 pm

  • Thanks (I mean I knew about it already but I was procrastinating)

    by math_explorer, Mar 2, 2015, 10:15 am

  • There are some latex errors in the triple product post.

    by va2010, Mar 2, 2015, 8:07 am

  • Open source for the win!

    Not, like, "openly distribute the source to AoPS's FTW pl0x", but you know what I mean!

    by math_explorer, Nov 28, 2014, 10:58 am

  • You're the author of the unallocated attribute points notification? Huge props, man.

    by knittingfrenzy18, Nov 28, 2014, 6:36 am

  • nice Halloween avatar change

    by NeoMathematicalKid, Oct 30, 2014, 3:05 am

  • ", an 18-year-old Taiwanese prodigy who bagged gold at the 2012 IMO and this year???s International Olympiad in Informatics.

    dayum

    by EpicSkills32, Oct 24, 2014, 2:13 am

  • Only a tiny bit; my teacher did far far more (and even appears in the film). Also I'm not 18 yet (although closer to it than 17)...

    by math_explorer, Oct 10, 2014, 1:37 pm

  • Hmm

    http://taiwantoday.tw/ct.asp?xItem=220700&ctNode=413

    Wow you were invited to do stuff with X+Y? Cool...

    by yugrey, Oct 10, 2014, 11:45 am

81 shouts
Pull Bandage Skirt GARDENIA On BCBGMAXAZRIA Contributors
Tags
About Owner
  • Posts: 585
  • Joined: Dec 16, 2006
Blog Stats
  • Blog created: May 17, 2010
  • Total entries: 324
  • Total visits: 328577
  • Total comments: 361
Search Blog
Invalid username
Login to AoPS
BCBGMAXAZRIA Pull GARDENIA Skirt On Bandage XpaZqX BCBGMAXAZRIA Pull GARDENIA Skirt On Bandage XpaZqX BCBGMAXAZRIA Pull GARDENIA Skirt On Bandage XpaZqX

A power skirt from BCBGMAXAZRIA that makes it easy to create chic, sophisticated looks for day or night.

  • Approx. model height is 5'9" and she is wearing a size x-small
  • Short length; pencil silhouette
  • Pull-on style
  • Rayon/nylon/spandex
  • Machine washable
  • Imported
  • Web ID: 6666436
a