Theorem 7.35. Let X and Y be topological spaces. For every y E Y, the subspace X × {y} of X × Y is homeomorphic to X.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
icon
Concept explainers
Topic Video
Question
100%

How do I show 7.35? Could you explain this in great detail? Thank you!

**Definition**: Suppose \( \mathcal{T} \) and \( \mathcal{T}' \) are two topologies on the same underlying set \( X \). If \( \mathcal{T} \subset \mathcal{T}' \), then we say \( \mathcal{T}' \) is finer than \( \mathcal{T} \). Alternatively, we say \( \mathcal{T} \) is coarser than \( \mathcal{T}' \). We say strictly coarser or strictly finer if additionally \( \mathcal{T} \neq \mathcal{T}' \).

**Definition**: A function \( f : X \to Y \) is an *embedding* if and only if \( f : X \to f(X) \) is a homeomorphism from \( X \) to \( f(X) \), where \( f(X) \) has the subspace topology from \( Y \).

**Definition**: The *projection maps* \( \pi_X : X \times Y \to X \) and \( \pi_Y : X \times Y \to Y \) are defined by \( \pi_X(x, y) = x \) and \( \pi_Y(x, y) = y \).

**Theorem 7.32**: Let \( X \) and \( Y \) be topological spaces. The projection maps \( \pi_X, \pi_Y \) on \( X \times Y \) are continuous, surjective, and open.

In fact, the topology on the product space can be characterized as the coarsest topology that makes the projection maps continuous.

**Theorem 7.33**: Let \( X \) and \( Y \) be topological spaces. The product topology on \( X \times Y \) is the coarsest topology on \( X \times Y \) that makes the projection maps \( \pi_X, \pi_Y \) on \( X \times Y \) continuous.

**Theorem 7.35**: Let \( X \) and \( Y \) be topological spaces. For every \( y \in Y \), the subspace \( X \times \{ y \} \) of \( X \times Y \) is homeomorphic to \( X \).

**Theorem 7.36**: Let \( X \), \(
Transcribed Image Text:**Definition**: Suppose \( \mathcal{T} \) and \( \mathcal{T}' \) are two topologies on the same underlying set \( X \). If \( \mathcal{T} \subset \mathcal{T}' \), then we say \( \mathcal{T}' \) is finer than \( \mathcal{T} \). Alternatively, we say \( \mathcal{T} \) is coarser than \( \mathcal{T}' \). We say strictly coarser or strictly finer if additionally \( \mathcal{T} \neq \mathcal{T}' \). **Definition**: A function \( f : X \to Y \) is an *embedding* if and only if \( f : X \to f(X) \) is a homeomorphism from \( X \) to \( f(X) \), where \( f(X) \) has the subspace topology from \( Y \). **Definition**: The *projection maps* \( \pi_X : X \times Y \to X \) and \( \pi_Y : X \times Y \to Y \) are defined by \( \pi_X(x, y) = x \) and \( \pi_Y(x, y) = y \). **Theorem 7.32**: Let \( X \) and \( Y \) be topological spaces. The projection maps \( \pi_X, \pi_Y \) on \( X \times Y \) are continuous, surjective, and open. In fact, the topology on the product space can be characterized as the coarsest topology that makes the projection maps continuous. **Theorem 7.33**: Let \( X \) and \( Y \) be topological spaces. The product topology on \( X \times Y \) is the coarsest topology on \( X \times Y \) that makes the projection maps \( \pi_X, \pi_Y \) on \( X \times Y \) continuous. **Theorem 7.35**: Let \( X \) and \( Y \) be topological spaces. For every \( y \in Y \), the subspace \( X \times \{ y \} \) of \( X \times Y \) is homeomorphic to \( X \). **Theorem 7.36**: Let \( X \), \(
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Centre, Spread, and Shape of a Distribution
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,