Discrete topology, product topology

  • Thread starter mathsss2
  • Start date
  • #1
38
0

Main Question or Discussion Point

For each [tex]n \in \omega[/tex], let [tex]X_n[/tex] be the set [tex]\{0, 1\}[/tex], and let [tex]\tau_n[/tex] be the discrete topology on [tex]X_n[/tex]. For each of the following subsets of [tex]\prod_{n \in \omega} X_n[/tex], say whether it is open or closed (or neither or both) in the product topology.

(a) [tex]\{f \in \prod_{n \in \omega} X_n | f(10) = 0 \}[/tex]
(b) [tex]\{f \in \prod_{n \in \omega} X_n | \text{ }\exists n \in \omega \text{ }f(n) = 0 \}[/tex]
(c) [tex]\{f \in \prod_{n \in \omega} X_n | \text{ }\forall n \in \omega \text{ }f(n) = 0 \Rightarrow f(n + 1) = 1 \}[/tex]
(d) [tex]\{f \in \prod_{n \in \omega} X_n | \text{ }|\{ n \in \omega | f(n) = 0 \}| = 5 \}[/tex]
(e)[tex]\{f \in \prod_{n \in \omega} X_n | \text{ }|\{ n \in \omega | f(n) = 0 \}|\leq5 \}[/tex]
 

Answers and Replies

  • #2
38
0
Recall that [tex]\omega = \mathbb{N} \cup \{0\}[/tex]
 
  • #3
morphism
Science Advisor
Homework Helper
2,015
4
And what are your thoughts on the problem?
 
  • #4
38
0
Here is what I know:

So remember that open sets in the infinite product topology is really just having all but finitely many the whole space and the rest are open. Since the individual factors are discrete, you only need to check that all but finitely many are the whole space.

e.g. in (a) the 10th coordinate has a specific value, but all other coordinates can be whatever, so this is certain open.


[tex]f[/tex] is a function. Here [tex]\omega = \mathbb{N} \cup \{ 0 \}[/tex] (the reason for using [tex]\omega[/tex] is because he is using it to refer to the natural as an ordinal, but whatever that is not important). If it helps you can think of [tex]\prod_{n\in \omega} X_n[/tex] as [tex]\prod_{n=0}^{\infty} X_n[/tex]. We define [tex]\prod_{n=0}^{\infty}X_n[/tex] to be the set of all functions [tex]f: \mathbb{N} \to \{ 0 , 1\}[/tex] that satisfies [tex]f(n) \in \{ 0 , 1\}.[/tex]

This is as far as I've gotten.
 
  • #5
morphism
Science Advisor
Homework Helper
2,015
4
There's a nice graphical representation of the product topology on Y^X (i.e. the product of the space Y |X| times). Namely, if we draw X as an "x-axis" and Y as a "y-axis", then elements in X^Y are "graphs of functions" in the X-Y "plane". An open nbhd of an element f is the set of all functions g whose graphs are close to the graph of f at finitely points. We get different nbhds by varying the closeness to f and/or the set of finite points.

In our case the product space is 2^w=2^N, whose "plane" looks like two copies of the naturals N. In other words, if you were to imagine this as a 'subset' of R^2, it's just the set [itex]\{(n,i) \colon n \in \bN, i \in \{0,1\}\}[/itex].

Maybe this will help you.
 
  • #6
38
0
Progress:

Take set (b). Let [tex]B = \{f \in \prod_{n \in \omega} X_n | \;\exists n \in \omega \; f(n) = 0 \}[/tex]. If [tex]f\in B[/tex] then there exists m such that f(m)=0. Then the set [tex]\{g \in \prod_{n \in \omega} X_n |\; g(m) = 0\}[/tex] is an open neighbourhood of f contained in B. Therefore B is open.

It's usually more difficult to check when a set is closed. You have to look at its complement and decide whether that is open. Sometimes this is straightforward. For example, the complement of set (a) is the set of all f such that f(10)=1. That is open, so set (a) is closed as well as open.

For a slightly less easy example, look at set (c). Let [tex]C = \{f \in \prod_{n \in \omega} X_n | \text{ }\forall n \in \omega \text{ }f(n) = 0 \Rightarrow f(n + 1) = 1 \}[/tex]. If [tex]f\notin C[/tex] then there exists m such that f(m)=f(m+1)=0. Then [tex]\{g \in \prod_{n \in \omega} X_n |\; g(m) = g(m + 1) = 0\}[/tex] is an open neighbourhood of f containing no points of C. Therefore the complement of C is open and so C is closed.

I still do not know how to do parts (d.) and (e.)
 

Related Threads for: Discrete topology, product topology

Replies
1
Views
2K
Replies
5
Views
5K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
10
Views
6K
  • Last Post
3
Replies
52
Views
7K
  • Last Post
Replies
1
Views
2K
Top