Math 440, Fall 2014, Assignment 4
No doubt many people feel that the inclusion of mathematics among the arts is unwarranted. The strongest objection is that mathematics has no emotional import. Of course this argument discounts the feelings of dislike and revulsion that mathematics induces....
- - Morris Kline, Mathematics in Western Culture
Carefully define the following terms, then give one example and one non-example of each:
- Subspace topology (on a subset $A$ of a topological space $X$).
- Function continuous at a given point.
- Continuous function.
- Homeomorphism (from one space top another).
- Homeomorphic (spaces).
- Topological property.
Carefully state the following theorems (you do not need to prove them):
- Theorem characterizing continuous functions (Theorem 7.2).
- Theorem on composition of continuous functions.
- Theorem on restriction of continuous functions (Theorem 7.5).
- Theorem concerning continuity of functions defined on unions (Theorem 7.6).
- Theorem concerning restriction of codomains (Theorem 7.7).
Solve the following problems:
- Problems 6C, 7A, 7C, and 7G.
Questions:
Solutions:
Definitions:
- Subspace Topology:
Let \((X,\tau)\) be a topological space, and let \(A \subseteq X\). The subspace topology of \(X\) on \(A\) is the topological space \((A,\tau_A)\), where \(\tau_A = \{A \cap t| t\in \tau\}\).
Example:
Non-Example:
- Function Continuous at a Given Point:
Let \(f:X \rightarrow Y\) be a function between topological spaces. \(f\) is continuous at \(x \in X\) if for every \(V \subseteq Y\) that contains \(f(x)\) (i.e. \(f(x) \in V\), then \(f^{-1}(V)\) is open in \(X\).
Example:
Non-Example:
- Continuous Function:
Let \(X\) and \(Y\) be topological spaces. A function \(f : X \rightarrow Y\) is continuous if it is continuous at every point of \(X\).
Example:
Non-Example:
- Homeomorphism:
A homeomorphism from \(X\) to \(Y\) is a continuous bijective function with a continuous inverse.
Example:
Non-Example:
- Homeomorphic Spaces:
Two topological spaces \(X\) and \(Y\)
Example:
Non-Example:
- Topological Property:
A topological property is a property that is preserved on homeomorphism. That is, if \((X,\tau)\) and \((Y,\sigma)\) are homeomorphic spaces, then if \(X\) has a property, \(Y\) has the same property.
Example:
Cardinality.
Non-Example: