Questions tagged [box-topology]

The box topology is the topology on the cartesian product of sets generated by the cartesian product of open subsets in each component set. Use this tag when your question involves the box topology.

The Cartesian product of topological spaces can be given several different topologies. One of the more obvious choices is box topology, in which a base is given by Cartesian products of open sets in the component spaces. Another possibility is product topology, in which a base is given by Cartesian products of open sets in the component spaces, only finitely many of which can be not equal to the entire component space.

While box topology has a somewhat more intuitive definition than product topology, box topology satisfies fewer desirable properties. In particular, if all the component spaces are compact/connected, the box topology on their Cartesian product will not necessarily be compact/connected, but the product topology on their Cartesian product will always be compact/connected. In general, box topology is finer than product topology, although the two agree in the case of finite direct products (or when all but finitely many of the factors are trivial).

66 questions
66
votes
5 answers

Is the box topology good for anything?

In point-set topology, one always learns about the box topology: the topology on an infinite product $X = \prod_{i \in I} X_i$ generated by sets of the form $U = \prod_{i \in I} U_i$, where $U_i \subset X_i$ is open. This seems naively like a…
Nate Eldredge
  • 101,664
57
votes
6 answers

Why are box topology and product topology different on infinite products of topological spaces?

Why are box topology and product topology different on infinite products of topological spaces ? I'm reading Munkres's topology. He mentioned that fact but I can't see why it's true that they are different on infinite products. So , Can any one…
FNH
  • 9,440
29
votes
2 answers

Does the box topology have a universal property?

Given a set of topological spaces $\{X_\alpha\}$, there are two main topologies we can give to the Cartesian product $\Pi_\alpha X_\alpha$: the product topology and the box topology. The product topology has the following universal property: given…
23
votes
1 answer

What are the components and path components of $\mathbb{R}^{\omega}$ in the product, uniform, and box topologies?

I am working on an exercise problem about components and path components of $\mathbb{R}^{\omega}$. Specifically, Exercise about components and path components: 1. What are the components and path components of $\mathbb{R}^{\omega}$ in the product…
20
votes
0 answers

Can ($X^I$, product topology) and ($X^I$, box topology) be homeomorphic for some nontrivial $X$ and infinite $I$?

Let $X$ be a nontrivial topological space, $I$ be a infinite set, we can endow $X^I$ (the set of all functions $I\to X$) with either the product topology or the box topology. We know that the box topology is strictly finer than product topology, but…
Jianing Song
  • 2,545
  • 5
  • 25
15
votes
2 answers

Tychonoff Theorem in the box topology

A short question: Why does not the Tychonoff theorem (the arbitrary product of compact spaces is compact) hold in the box topology? I don't know how to show that there is no finite sub-cover of any open cover of the product space! Can anyone please…
Feri
  • 207
15
votes
3 answers

$[0,1]^{\mathbb{N}}$ with respect to the box topology is not compact

could anyone help to show that $[0,1]^{\mathbb{N}}$ with respect to the box topology is not compact? Thank you!
Jean Carr
  • 415
10
votes
2 answers

Is $\ell^\infty$ with box topology connected?

Let $X = \ell^\infty$ be all bounded real sequences and equip $X$ with subspace topology $X\subseteq \square_{n=1}^\infty \mathbb{R}$ where $\square_{n=1}^\infty \mathbb{R}$ is box product of countable amount of copies of $\mathbb{R}$, that is the…
6
votes
1 answer

Where does this "proof" that $\Bbb{R}^\omega$ is normal in the box topology go awry?

James Munkres' Topology, 2nd Edition indicates that the space $$\Bbb{R}^\omega := \{ (x_0, x_1, x_2, ...) | x_i \in \Bbb{R}, \forall i < \omega \}$$ equipped with the box topology is completely regular, but that normality is not known. He points to…
5
votes
2 answers

Infinite product of connected spaces may not be connected?

Let $X$ be a connected topologoical space. Is it true that the countable product $X^\omega$ of $X$ with itself (under the product topology) need not be connected? I have heard that setting $X = \mathbb R$ gives an example of this phenomenon. If so,…
5
votes
2 answers

Difference between the behavior of a sequence and a function in product and box topology on same set

Let $\prod_{\alpha \in J} X_{\alpha}$ is the product of typologies. Consider product topology on the set. Then any function $f : A \rightarrow \prod_{\alpha \in J} X_{\alpha}$ will be continuous on the space $\prod_{\alpha \in J} X_{\alpha}$ if and…
Supriyo
  • 6,329
  • 7
  • 33
  • 64
5
votes
1 answer

Is the weak topology on $\mathbb{R}^{\infty}$ the same as the box topology?

Let $\mathbb{R}^{\infty}=\bigcup\limits_{n=1}^{\infty}\mathbb{R}^{n}$ be the subset of $\mathbb{R}^{\omega}$ consisting of all sequences which are nonzero for only finitely many terms. Give $\mathbb{R}^{\infty}$ the weak topology, that is,…
SihOASHoihd
  • 1,536
5
votes
1 answer

Is $\mathbb R^J$ normal in the box topology when $J$ is uncountable?

Question: Is $\mathbb R^J$ normal in the box topology when $J$ is uncountable? I know $\mathbb R^J$ is not normal in the product topology, see "Proof" that $\mathbb{R}^J$ is not normal when $J$ is uncountable ; I also know $\mathbb R^{\omega}$ is…
4
votes
1 answer

First countability of $[0,1]^\mathbb{R}$

The proofs I know for the fact that the space $[0,1]^\mathbb{R}$ is not first countable, use the product topology in some step of the demonstration. (Reference) So, I would like to know if this space is also not first countable in the box topology…
4
votes
1 answer

Proving Theorem 19.2 in by Munkres

Theorem 19.2 in Munkres Suppose the topology on each space $X_{\alpha}$ is given by a basis $\mathcal{B}_{\alpha}$. The collection of all sets of the form $$\prod_{\alpha \in J} B_{\alpha}$$ where $B_{\alpha} \in \mathcal{B}_{\alpha}$ for each…
kim
  • 317
1
2 3 4 5