Theorem 3.30. Let (X,J) be a topological space, and let (Y, Fy) be a subspace. If B is a basis for T', then By = {Bn Y|B E B} is a basis for Ty.

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
Question
100%

Could you show me how to do 3.30 in detail?

**Theorem 3.30.** Let \((X, \mathscr{T})\) be a topological space, and let \((Y, \mathscr{T}_Y)\) be a subspace. If \(\mathscr{B}\) is a basis for \(\mathscr{T}\), then \(\mathscr{B}_Y = \{B \cap Y \mid B \in \mathscr{B}\}\) is a basis for \(\mathscr{T}_Y\).

---

**Definition.** Let \((X, \mathscr{T})\) be a topological space. For \(Y \subseteq X\), the collection

\[
\mathscr{T}_Y = \{U \mid U = V \cap Y \text{ for some } V \in \mathscr{T}\}
\]

is a topology on \(Y\) called the **subspace topology**. It is also called the **relative topology** on \(Y\) inherited from \(X\). The space \((Y, \mathscr{T}_Y)\) is called a (topological) **subspace** of \(X\). If \(U \in \mathscr{T}_Y\) we say \(U\) is **open in \(Y\)**.

---

**Theorem 3.25.** Let \((X, \mathscr{T})\) be a topological space and \(Y \subseteq X\). Then the collection of sets \(\mathscr{T}_Y\) is in fact a topology on \(Y\).

---

**Theorem 3.28.** Let \((Y, \mathscr{T}_Y)\) be a subspace of \((X, \mathscr{T})\). A subset \(C \subseteq Y\) is closed in \((Y, \mathscr{T}_Y)\) if and only if there is a set \(D \subseteq X\), closed in \((X, \mathscr{T})\), such that \(C = D \cap Y\).
Transcribed Image Text:**Theorem 3.30.** Let \((X, \mathscr{T})\) be a topological space, and let \((Y, \mathscr{T}_Y)\) be a subspace. If \(\mathscr{B}\) is a basis for \(\mathscr{T}\), then \(\mathscr{B}_Y = \{B \cap Y \mid B \in \mathscr{B}\}\) is a basis for \(\mathscr{T}_Y\). --- **Definition.** Let \((X, \mathscr{T})\) be a topological space. For \(Y \subseteq X\), the collection \[ \mathscr{T}_Y = \{U \mid U = V \cap Y \text{ for some } V \in \mathscr{T}\} \] is a topology on \(Y\) called the **subspace topology**. It is also called the **relative topology** on \(Y\) inherited from \(X\). The space \((Y, \mathscr{T}_Y)\) is called a (topological) **subspace** of \(X\). If \(U \in \mathscr{T}_Y\) we say \(U\) is **open in \(Y\)**. --- **Theorem 3.25.** Let \((X, \mathscr{T})\) be a topological space and \(Y \subseteq X\). Then the collection of sets \(\mathscr{T}_Y\) is in fact a topology on \(Y\). --- **Theorem 3.28.** Let \((Y, \mathscr{T}_Y)\) be a subspace of \((X, \mathscr{T})\). A subset \(C \subseteq Y\) is closed in \((Y, \mathscr{T}_Y)\) if and only if there is a set \(D \subseteq X\), closed in \((X, \mathscr{T})\), such that \(C = D \cap Y\).
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 2 images

Blurred answer
Knowledge Booster
Fractions
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,