17.06.2015 Views

Lecture Notes Topology (2301631) Phichet Chaoha Department of ...

Lecture Notes Topology (2301631) Phichet Chaoha Department of ...

Lecture Notes Topology (2301631) Phichet Chaoha Department of ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

12 <strong>Topology</strong> (<strong>2301631</strong>)<br />

Pro<strong>of</strong>. (⇒) Trivial.<br />

(⇐) Let U ∈< B > and x ∈ U. Then there is B ∈ B such that x ∈ B ⊆ U. By<br />

assumption, we can find B ′ ∈ B ′ such that x ∈ B ′ ⊆ B. Therefore, x ∈ B ′ ⊆ U;<br />

i.e., U ∈< B ′ >.<br />

□<br />

Corollary 1.28. Let (X, τ) be a space and a basis B such that B ⊆ τ. Then<br />

τ is generated by B iff for each U ∈ τ and x ∈ U, there exists B ∈ B such that<br />

x ∈ B ⊆ U.<br />

Example 1.29. The usual topology on R n is generated by the collection <strong>of</strong><br />

open balls {B(x; r) | x ∈ R n , r > 0}. In particular, the usual topology on R is<br />

generated by {(a, b) | a < b}.<br />

Definition 1.30. The lower limit topology on R is the topology generated by<br />

{[a, b)|a < b}. We simply write R l to denote R equipped with the lower limit<br />

topology.<br />

Exercise 1.31. Prove that the lower limit topology on R is strictly finer than<br />

the usual topology.<br />

Definition 1.32. Let (X, ≤) be a totally ordered set with |X| > 1. An interval<br />

in X is one <strong>of</strong> the following sets :<br />

(a, b) = {x ∈ X | a < x < b}<br />

[a, b) = {x ∈ X | a ≤ x < b}<br />

(a, b] = {x ∈ X | a < x ≤ b}<br />

[a, b] = {x ∈ X | a ≤ x ≤ b}<br />

The order topology on X is the topology generated by the basis consisting <strong>of</strong> all<br />

intervals <strong>of</strong> the following forms :<br />

• (a, b),<br />

• [x min , b) if X has the smallest element x min ,<br />

• (a, x max ] if X has the largest element x max .<br />

Exercise 1.33. Consider the set R 2 = R × R whose element is denoted by<br />

a × b, and the dictionary order (≼) on R 2 defined by<br />

a 1 × b 1 ≼ a 2 × b 2 iff (a 1 × b 1 = a 2 × b 2 ) or (a 1 × b 1 ≺ a 2 × b 2 ),<br />

where a 1 × b 1 ≺ a 2 × b 2 iff a 1 < a 2 or (a 1 = a 2 and b 1 < b 2 ).<br />

Is the dictionary order topology on R × R the same as the usual topology on<br />

R 2 ? If not, compare them.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!