Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Definition: A net in a topological space $X$ is universal if for any $A\subseteq X$, either the net is eventually in $A$ or it is eventually in $X\setminus A$.

Problem: A sequence is a universal net if and only if it is eventually constant.

I've shown that if a sequence is eventually constant, then it is universal. I'm trying to figure out the other direction.

My attempt: Let $X$ be a topological space, $\Phi \colon \mathbb{Z}^+ \to X$ be a sequence, and suppose $\Phi$ is not eventually constant. Consider two cases.

Case 1: There is an element $x_0\in X$ such that $\Phi(n) = x_0$ for infinitely many $n$. In this case, let $A = \{x_0\}$. Then given any $n$, there exists $m\geq n$ and $k\geq n$ such that $\Phi(m) = x_0\in A$ and $\Phi(k) \neq x_0$ so $\Phi(k) \notin A$. Thus $\Phi$ cannot eventually be in $A$ nor can it eventually be in $X\setminus A$, so $\Phi$ is not universal.

Case 2: There are infinitely many elements in $\Phi(\mathbb{Z}^+)$, each appearing finitely many times in the sequence.

To finish case 2, I would now like to define two disjoint subsequences (in that they share no common elements), which I think should be possible. This would then finish the proof. However, I cannot think of a way to do this precisely.

Question: Is this proof going in the right direction?

share|improve this question
    
Do you have a copy of the ebook of Wilde, entitled "Basic Analysis-Gently Done Topological Vector Spaces"? There you may look at page 22. –  juniven Aug 6 '13 at 2:33
2  
You can write $\Phi(\mathbb{Z}^+)$ as a disjoint union of two infinite sets $S$ and $T$. Then you can define two disjoint subsequences using $\Phi^{-1}(S)$ and $\Phi^{-1}(T)$ (any infinite subset of $\mathbb{Z}^+$ is order-bijective with $\mathbb{Z}^+$). To finish the proof you just need to find the right choice of $A$. –  Kevin Aug 6 '13 at 3:19

1 Answer 1

up vote 4 down vote accepted

The idea indeed is to split it into two subsequences.

Let $\Phi: \mathbb{Z}^+ \to X$ be your sequence, which is a universal net. Suppose that $\Phi$ is not eventually constant. We will get a contradiction:

Let $x$ be any value of the sequence, so a point in $\Phi[\mathbb{Z}^+]$. As $\Phi$ is not eventually constant, it is not eventually in $\{x\}$, so by being a universal net, it must be eventually in $X \setminus \{x\}$, so after some initial finite segment, all values are unequal to $x$. This shows that $x$ appears at most finitely many times as a value. As $x$ was arbitrary, all values of the sequence appear finitely many times, and hence so $\Phi[\mathbb{Z}+]$ is infinite.

Now split that image set into two disjoint infinite sets $A$ and $B$. Now $\Phi$ cannot be eventually in $A$ (as a finite start segment cannot exhaust all values that are in $B$, so there are always points beyond it with values in $B$, which are not in $A$), and symmetrically, it cannot be eventually in $X\setminus A$ as well. This contradicts the universality of the sequence.

So the assumption led to a contradiction, and $\Phi$ is eventually constant.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.