projection maps

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.32? 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} \subseteq \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 \rightarrow Y \) is an embedding if and only if \( f : X \rightarrow 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 \rightarrow X \) and \( \pi_Y : X \times Y \rightarrow 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, Y, \) and \( Z \) be topological
Transcribed Image Text:**Definition:** Suppose \( \mathcal{T} \) and \( \mathcal{T}' \) are two topologies on the same underlying set \( X \). If \( \mathcal{T} \subseteq \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 \rightarrow Y \) is an embedding if and only if \( f : X \rightarrow 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 \rightarrow X \) and \( \pi_Y : X \times Y \rightarrow 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, Y, \) and \( Z \) be topological
Expert 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,