For questions about the structure of product space, in the context of topology or measure theory for example. Use other tags to indicate the context.

learn more… | top users | synonyms

4
votes
1answer
49 views

Product of T1 spaces is T1

I am trying to prove that the product of T1 spaces is also T1. Here is a proof, is it correct? $\{ X_i \}_{i \in I}$ are T1 $\Rightarrow$ $\prod_{i \in I} X_i$ is T1 Proof: Let $\bar{x} = ( ...
0
votes
1answer
12 views

continuity of a function f = (f_1,f_2) in a product topology if f_1 and f_2 are continous

Say $X$, $Y_1$ and $Y_2$ are topological spaces. Let $f_1 \; X \to Y_1$ and $f_2 \; X \to Y_2$. If $f\; X \to Y_1 \times Y_2 $ $f(x) = (f_1(x), f_2(x))$ $Y_1 \times Y_2$ is a topological space with ...
0
votes
1answer
24 views

Prove $ \varphi ( x ) = \lambda ( Q_x ) $ is $ \mathcal{X} $-measurable

I'm reading Thoerem 8.6, page 163, Chapter 8 from "Real and Complex Analysis (Third Edition)" by Walter Rudin; it seems that Rudin never proves that $\lambda(Q_x)$ (defined below) is a ...
0
votes
0answers
65 views

Probability that a given countable sequence is contained in a random countable sequence

Let a probability space $\langle \Omega, F, Pr \rangle$ be given. Consider the countable product space $\langle \Omega^*, F^*, Pr^* \rangle$ (that is, $\Omega^*$ is the set of countable sequences of ...
1
vote
1answer
63 views

A generalization of the generalized tube lemma

I am trying to prove the following generalization of the generalized tube lemma: Let $\{X_t\}_{t \in T}$ be a family of Hausdorff spaces and $\prod_{t \in T}A_t$ be a compact subset of $X=\prod_{t ...
1
vote
1answer
134 views

What is the definition of a product topology?

I am new to advanced mathematics and I recently started reading a book on topology. I am struggling to understand what it is saying in this paragraph. This is what it says: Let $E_i$ ...
2
votes
2answers
81 views

Product topology on $X \times Y$ the smallest topology when $f(x, y) = x$ and $g(x, y) = y$ are continuous functions?

$X$ and $Y$ are topological spaces and let $f : X \times Y \to X$ and $g : X \times Y \to Y$ be maps such that $f(x, y) = x$ and $g(x, y) = y \ \forall (x, y) \in X \times Y$ . Show that the product ...
0
votes
1answer
40 views

Prove that the projection $p_i$ from the product space $X_I S_i \tau$ into $S_i \tau_i$ is open for each $i \in I$

Full question: A function $f$ from a space $X, \tau$ to a space $Y, \tau'$ is said to be open if $f(V)$ is open in $Y$ whenever $V$ is an open subset of $X$. Prove that the projection $p_i$ from the ...
2
votes
2answers
33 views

Show that is not a sigma algebra

I would like to pose a question to you, and I will appreciate any hint or partial solution for my question. Let $\left(\Omega, \mathcal{F}\right)$ be a measurable space, and let $\left(\Omega \times ...
2
votes
0answers
40 views

Is $\sigma$-finiteness necessary for the existence and uniqueness of product measure?

Let $(X,\mathfrak{B}_X,\mu_X)$ and $(Y,\mathfrak{B}_Y,\mu_Y)$ be $\sigma$-finite measure spaces. Then there exists a unique measure $\mu_X\times\mu_Y$ on $\mathfrak{B}_X\times\mathfrak{B}_Y$ that ...
3
votes
0answers
32 views

Right-continuity of filtrations on product spaces

Let $(\Omega^1, \mathcal{F}^1)$ and $(\Omega^2,\mathcal{F}^2)$ be two measurable space and let $(\mathcal{F}^2_s)_{s \geq 0}$ be a filtration on $(\Omega^2,\mathcal{F}^2)$. Moreover, let $t\geq 0$ be ...
0
votes
0answers
54 views

Factorization of Product Topologies

Let $\{(X_{\alpha},\tau_{\alpha})\}_{\alpha\in A}$ be a family of topological spaces, where $A$ is an index set of at least two elements (otherwise, its cardinality is arbitrary). Let ...
4
votes
3answers
127 views

Show that $[0, 1)\times[0, 1)$ is homeomorphic to $[0, 1]\times[0, 1)$ but not to $[0, 1]\times[0, 1]$.

Show that $[0, 1)\times[0, 1)$ is homeomorphic to $[0, 1]\times[0, 1)$ but not to $[0, 1]\times[0, 1]$. When I sketch these spaces it this statement makes sense intuitively because $[0, 1]\times[0, ...
5
votes
1answer
76 views

Is $(A \times B)^\epsilon \subseteq A^\epsilon \times B^\epsilon$?

While working on a problem related to my research, I had the following query. It pertains to product spaces: The Question: Let $(X,d_X)$ and $(Y,d_Y)$ be two Polish (Complete separable metric) ...
1
vote
1answer
80 views

Are $\prod_{i\in I,j\in J}X_{ij}$ and $\prod_{i\in I}\prod_{j\in J}X_{ij}$ homeomorphic?

For each $i\in I, j\in J$, $X_{ij}$ is a topological space. Are $$\prod_{i\in I,j\in J}X_{ij}$$ and $$\prod_{i\in I}\prod_{j\in J}X_{ij}$$ homeomorphic? What's the homeomorphism?