Register to reply

Lexicographic Square, topology

by mathsss2
Tags: lexicographic, square, topology
Share this thread:
mathsss2
#1
Dec2-08, 08:57 PM
P: 38
Show that any basic open set about a point on the "top edge," that is, a point of form [tex](a, 1)[/tex], where [tex]a < 1[/tex], must intersect the "bottom edge."

Background:

Definition- The lexicographic square is the set [tex]X = [0,1] \times [0,1][/tex] with the dictionary, or lexicographic, order. That is [tex](a, b) < (c, d)[/tex] if and only if either [tex]a < b[/tex], or [tex]a = b[/tex] and [tex]c < d[/tex]. This is a linear order on [tex]X[/tex], and the example we seek is [tex]X[/tex] with the order topology.

We follow usual customs for intervals, so that [tex][(a,b),(c,d)) = \{ (x,y) \in X : (a,b) \leq (x,y) < (c,d) \}[/tex]. A subbase for the order topology on [tex]X[/tex] is the collection of all sets of form [tex][(0,0),(a,b))[/tex] or of form [tex][(a,b),(1,1)).[/tex]
Phys.Org News Partner Science news on Phys.org
Apple to unveil 'iWatch' on September 9
NASA deep-space rocket, SLS, to launch in 2018
Study examines 13,000-year-old nanodiamonds from multiple locations across three continents
adriank
#2
Dec2-08, 09:46 PM
P: 534
What do your base elements look like? From that it should be obvious.
mathsss2
#3
Dec4-08, 12:05 AM
P: 38
This problem is sort of confusing me. I am not sure what the base elements look like here. What do they look like? Maybe I am just not seeing something.

adriank
#4
Dec4-08, 12:23 AM
P: 534
Lexicographic Square, topology

The base elements are all finite intersections of your subbase elements; they are intervals of the form [tex][(0, 0), a)[/tex], [tex](a, (1, 1)][/tex], or [tex](a, b)[/tex], where [tex](0, 0) < a < b < (1, 1)[/tex].
mathsss2
#5
Dec7-08, 02:36 PM
P: 38
So, we know the base elements are intervals of the form [tex][(0, 0), a) , (a, (1, 1)][/tex], or [tex](a, b)[/tex], where [tex](0, 0) < a < b < (1, 1)[/tex].

We need to show that any basic open set about a point on the "top edge," that is, a point of form [tex](a, 1)[/tex], where [tex]a < 1[/tex], must intersect the "bottom edge."

How is this obvious now? I don't understand the connection? Thanks for all your help with topology, I was able to solve the other problem you helped me with too.
adriank
#6
Dec7-08, 02:41 PM
P: 534
What base elements contain the point (a, 1)?
mathsss2
#7
Dec8-08, 02:54 PM
P: 38
Turns out there was a typo in the problem [that was throwing me off a lot]. So, the lexicographic order should be [tex](a,b)<(c,d)[/tex] if and only if [tex]a<c[/tex] or [tex]a=c[/tex] and [tex]b<d[/tex]. So, is our solution the same knowing this now?
adriank
#8
Dec8-08, 03:48 PM
P: 534
Ahh, I completely ignored that typo, already knowing what the lexicographic order is. Everything I said holds. Can you figure it out now? :)
mathsss2
#9
Dec8-08, 07:42 PM
P: 38
Yes, I solved it. Thanks for the help.


Register to reply

Related Discussions
K topology strictly finer than standard topology Calculus & Beyond Homework 5
Discrete topology, product topology Differential Geometry 5
Optimization: square inscribed in a square Calculus & Beyond Homework 1
Geometric Topology Vs. Algebraic Topology. General Math 1
Square metre to Square Feet conversion General Math 4