2.1 Modules and Module Homomorphisms
... Then Axiom (i) holds, because each θ(a) is a group homomorphism, and Axioms (ii), (iii), (iv) hold because θ preserves addition, multiplication and identity elements respectively. ...
... Then Axiom (i) holds, because each θ(a) is a group homomorphism, and Axioms (ii), (iii), (iv) hold because θ preserves addition, multiplication and identity elements respectively. ...
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1
... In particular, the stabilizer Gm = {g ∈ G | g · m = m} is compact. Theorem 1.5. Suppose G acts on M properly. Then each orbit G · m is an embedded closed submanifold of M , with Tm (G · m) = {XM (m) | X ∈ g}. Proof. Since the evaluation map evm is proper, its image G · m is closed in M . (Basic topo ...
... In particular, the stabilizer Gm = {g ∈ G | g · m = m} is compact. Theorem 1.5. Suppose G acts on M properly. Then each orbit G · m is an embedded closed submanifold of M , with Tm (G · m) = {XM (m) | X ∈ g}. Proof. Since the evaluation map evm is proper, its image G · m is closed in M . (Basic topo ...
PDF
... Let X be a topological space, and C(X) the ring of continuous functions on X. A subspace A ⊆ X is said to be C-embedded (in X) if every function in C(A) can be extended to a function in C(X). More precisely, for every realvalued continuous function f : A → R, there is a real-valued continuous functi ...
... Let X be a topological space, and C(X) the ring of continuous functions on X. A subspace A ⊆ X is said to be C-embedded (in X) if every function in C(A) can be extended to a function in C(X). More precisely, for every realvalued continuous function f : A → R, there is a real-valued continuous functi ...
The Logic of Stone Spaces - New Mexico State University
... Theorem For B a complete Boolean algebra with Stone space X . 1. If B is finite, the logic of X is classical. 2. If B is infinite and atomic, the logic of X is S4.1.2. 3. Otherwise the logic of X is S4.2. Proof. Such X has a closed subspace homeomorphic to βω. We use this to build our map X −→ → Q ⊕ ...
... Theorem For B a complete Boolean algebra with Stone space X . 1. If B is finite, the logic of X is classical. 2. If B is infinite and atomic, the logic of X is S4.1.2. 3. Otherwise the logic of X is S4.2. Proof. Such X has a closed subspace homeomorphic to βω. We use this to build our map X −→ → Q ⊕ ...
weak-* topology
... The weak topology on X is usually denoted by σ(X, X ∗ ) and the weak-∗ topology on X ∗ is usually denoted by σ(X ∗ , X). Another common notation is (X, wk) and (X ∗ , wk − ∗) Topology defined on a space Y by seminorms pι , ι ∈ I means that we take the sets {y ∈ Y | pι (y) < } for all ι ∈ I and > ...
... The weak topology on X is usually denoted by σ(X, X ∗ ) and the weak-∗ topology on X ∗ is usually denoted by σ(X ∗ , X). Another common notation is (X, wk) and (X ∗ , wk − ∗) Topology defined on a space Y by seminorms pι , ι ∈ I means that we take the sets {y ∈ Y | pι (y) < } for all ι ∈ I and > ...
Homework Set 1
... Remark. A morphism of schemes f : Y → X is an open immersion if it factors as iu ◦ g, for some U as above and an isomorphism of schemes g : Y → U . Problem 2. S Let f : Y → X be a morphism of schemes. Show that if there is an open cover X = i Ui such that the induced morphisms f −1 (Ui ) → Ui are is ...
... Remark. A morphism of schemes f : Y → X is an open immersion if it factors as iu ◦ g, for some U as above and an isomorphism of schemes g : Y → U . Problem 2. S Let f : Y → X be a morphism of schemes. Show that if there is an open cover X = i Ui such that the induced morphisms f −1 (Ui ) → Ui are is ...
Point-countable bases and quasi
... below) l) and a point-countable weak a-space is quasi-developable. From the latter result follows the result of Okuyama [13] that a collectionwise normal Tx c-space is metrizable iff it has a point-countable base and the result of Heath [9] that a Г 3 stratifiable space is metrizable iff it has a po ...
... below) l) and a point-countable weak a-space is quasi-developable. From the latter result follows the result of Okuyama [13] that a collectionwise normal Tx c-space is metrizable iff it has a point-countable base and the result of Heath [9] that a Г 3 stratifiable space is metrizable iff it has a po ...
Natural covers - Research Showcase @ CMU
... for example Whitehead [20], Gale [15], Michael [18], Cohen [9], Morita [19], Arhangel1skii [l], Bagley and Yang [5], Duda [10], Whyburn [21], Arhangel1skii and Franklin [3] and many others). R. Brown suggests this category may serve all the major purposes of topology [8]. Of more recent vintage is t ...
... for example Whitehead [20], Gale [15], Michael [18], Cohen [9], Morita [19], Arhangel1skii [l], Bagley and Yang [5], Duda [10], Whyburn [21], Arhangel1skii and Franklin [3] and many others). R. Brown suggests this category may serve all the major purposes of topology [8]. Of more recent vintage is t ...
Covering space
In mathematics, more specifically algebraic topology, a covering map (also covering projection) is a continuous function p from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below. In this case, C is called a covering space and X the base space of the covering projection. The definition implies that every covering map is a local homeomorphism.Covering spaces play an important role in homotopy theory, harmonic analysis, Riemannian geometry and differential topology. In Riemannian geometry for example, ramification is a generalization of the notion of covering maps. Covering spaces are also deeply intertwined with the study of homotopy groups and, in particular, the fundamental group. An important application comes from the result that, if X is a ""sufficiently good"" topological space, there is a bijection between the collection of all isomorphism classes of connected coverings of X and the conjugacy classes of subgroups of the fundamental group of X.