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)

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

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