projection maps

Linear Algebra: A Modern Introduction
4th Edition
ISBN:9781285463247
Author:David Poole
Publisher:David Poole
Chapter6: Vector Spaces
Section6.5: The Kernel And Range Of A Linear Transformation
Problem 38EQ
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 T and T' are two topologies on the same underlying set X. If
T C T', then we say T' is finer than T. Alternatively, we say T is coarser than J'.
We say strictly coarser or strictly finer if additionally J # T".
Definition. A function f : X
homeomorphism from X to f(X), where f(X) has the subspace topology from Y.
Y is an embedding if and only if f : X
f(X) is a
Definition. The projection maps Ax : X×Y →
by 7x(x, y) = x and ty(x, y) = y.
X and Ay : X × Y → Y are defined
Theorem 7.32. Let X and Y be topological spaces. The projection maps īx,Ty on X×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 x Y is the
coarsest topology on X × Y that makes the projection maps T,Ty on X × Y continuous.
Theorem 7.35. Let X and Y be topological spaces. For every y E Y, the subspace X x{y}
of X × Y is homeomorphic to X.
Theorem 7.36. Let X, Y, and Z be topological spaces. A function g : Z → X × Y is
continuous if and only if nx og and ty o g are both continuous.
Transcribed Image Text:Definition. Suppose T and T' are two topologies on the same underlying set X. If T C T', then we say T' is finer than T. Alternatively, we say T is coarser than J'. We say strictly coarser or strictly finer if additionally J # T". Definition. A function f : X homeomorphism from X to f(X), where f(X) has the subspace topology from Y. Y is an embedding if and only if f : X f(X) is a Definition. The projection maps Ax : X×Y → by 7x(x, y) = x and ty(x, y) = y. X and Ay : X × Y → Y are defined Theorem 7.32. Let X and Y be topological spaces. The projection maps īx,Ty on X×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 x Y is the coarsest topology on X × Y that makes the projection maps T,Ty on X × Y continuous. Theorem 7.35. Let X and Y be topological spaces. For every y E Y, the subspace X x{y} of X × Y is homeomorphic to X. Theorem 7.36. Let X, Y, and Z be topological spaces. A function g : Z → X × Y is continuous if and only if nx og and ty o g are both continuous.
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
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elementary Linear Algebra (MindTap Course List)
Elementary Linear Algebra (MindTap Course List)
Algebra
ISBN:
9781305658004
Author:
Ron Larson
Publisher:
Cengage Learning