2
$\begingroup$

I'm trying to understand the topology of pointwise convergence, we're defined it on the set $\cal{F}(X)$ of real functions on set $X$ to be the sub basis with topology $\{f \in \cal{F}(X) : a < f(x) where $x \in X$ and $a,b \in \mathbb{R}$.

Then it says: 'A set from the sub-basis consists of all functions that pass through one vertical interval'. But at what $x$ value is this interval? And which out of $x,a,b$ are 'changing' to create the sub basis?

2 Answers 2

2

Any $x\in X$ and any pair $a of real numbers gives rise to such a set $S(x, a, b) = \{f:\, a The set of all such $S(x, a, b)$ with $x\in X, a < b$ real, is the subbasis of your topology.

1

The topology of pointwise convergence is the same as the product topology on $\mathbb R^X$.

A (sub)basis for the product topology is the set $\{ \prod_{j \in J \subset X} O_j \times \prod_{i \in X \setminus J} \mathbb R \mid O_j \subset \mathbb R \text{ open }, J \text{ finite } \}$.

  • 0
    I thought I'd add that even though it doesn't directly answer your question.2012-05-29