
Nonnormality of Cech-Stone remainders of topological groups
... α 7→ xα can be extended to a continuous map f : βω1 → E (here ω1 has the discrete topology), where E is the closure of F in βX. Claim 1. If q ∈ E \ X, then f −1 (q) is a single point which is contained in βω1 \ U (ω1 ). Indeed, let C be a closed neighborhood of q in βX that misses the compact set S0 ...
... α 7→ xα can be extended to a continuous map f : βω1 → E (here ω1 has the discrete topology), where E is the closure of F in βX. Claim 1. If q ∈ E \ X, then f −1 (q) is a single point which is contained in βω1 \ U (ω1 ). Indeed, let C be a closed neighborhood of q in βX that misses the compact set S0 ...
Reflexive cum coreflexive subcategories in topology
... further that almost all nice subcategories of 3" have the property that they do not have any proper reflexive cum coreflexive subcategory. Anyhow, examples of subcategories of Y are given which have proper reflexive cum coreflexive subcategories on their own right. The validity of the analogous theo ...
... further that almost all nice subcategories of 3" have the property that they do not have any proper reflexive cum coreflexive subcategory. Anyhow, examples of subcategories of Y are given which have proper reflexive cum coreflexive subcategories on their own right. The validity of the analogous theo ...
On Hausdorff compactifications - Mathematical Sciences Publishers
... Given a pair of spaces X and Y, a necessary and sufficient condition is found for Y to be homeomorphic to daχ(aX— X) for some compactification aX of X. From this follows a necessary and sufficient condition for Y to be homeomorphic to aX — X for some aX. As an application, a sufficient condition is ...
... Given a pair of spaces X and Y, a necessary and sufficient condition is found for Y to be homeomorphic to daχ(aX— X) for some compactification aX of X. From this follows a necessary and sufficient condition for Y to be homeomorphic to aX — X for some aX. As an application, a sufficient condition is ...
Free full version - topo.auburn.edu
... It is natural to ask whether Theorem 3.15 remains true if we replace scattered by w-scattered. ...
... It is natural to ask whether Theorem 3.15 remains true if we replace scattered by w-scattered. ...
Part I : PL Topology
... For the class of C ∞ triangulations of a differentiable manifold, Whitehead proved an isotopy Haupvermutung in 1940, but in 1960 Milnor found a polyhedron of dimension six for which the generalised Hauptvermutung is false. This polyhedron is not a PL manifold and therefore the conjecture remained op ...
... For the class of C ∞ triangulations of a differentiable manifold, Whitehead proved an isotopy Haupvermutung in 1940, but in 1960 Milnor found a polyhedron of dimension six for which the generalised Hauptvermutung is false. This polyhedron is not a PL manifold and therefore the conjecture remained op ...
Topological groups: local versus global
... let U be a neighborhood of e. There exist a metric space (M, d) on which G acts continuously and transitively by isometries and a neighborhood O of a = p(e) in M such that p−1 (O) ⊂ U , where p : G → M is the map defined by p(g) = ga. Proof. This follows from the fundamental fact that every topologi ...
... let U be a neighborhood of e. There exist a metric space (M, d) on which G acts continuously and transitively by isometries and a neighborhood O of a = p(e) in M such that p−1 (O) ⊂ U , where p : G → M is the map defined by p(g) = ga. Proof. This follows from the fundamental fact that every topologi ...
The No Retraction Theorem and a Generalization
... injective. But restricting to the boundary, (r0 || Bd K| )−1 (η) = σ. Clearly r0 is continuous, which, combined with the compactness of |K|, means that it is uniformly continuous. Let δ be such that if |x1 − x2 | < δ, then |r0 (x1 ) − r0 (x2 )| < 1/8. In particular, the images of triangles with diam ...
... injective. But restricting to the boundary, (r0 || Bd K| )−1 (η) = σ. Clearly r0 is continuous, which, combined with the compactness of |K|, means that it is uniformly continuous. Let δ be such that if |x1 − x2 | < δ, then |r0 (x1 ) − r0 (x2 )| < 1/8. In particular, the images of triangles with diam ...
Proper actions on topological groups: Applications to quotient spaces
... In 1961 Palais [23] introduced the very important concept of a proper action of an arbitrary locally compact group G and extended a substantial part of the theory of compact Lie transformation groups to noncompact ones. Let X be a G-space. Two subsets U and V in X are called thin relative to each ot ...
... In 1961 Palais [23] introduced the very important concept of a proper action of an arbitrary locally compact group G and extended a substantial part of the theory of compact Lie transformation groups to noncompact ones. Let X be a G-space. Two subsets U and V in X are called thin relative to each ot ...
LOCALLY β-CLOSED SPACES - European Journal of Pure and
... Among various generalized open sets, the notion of β-open sets introduced by Abd. ElMonsef et al. [1] which is equivalent to the notion of semipre-open sets due to Andrijević [4], plays a significant role in General Topology and Real Analysis. Now a days many topologists have focused their research ...
... Among various generalized open sets, the notion of β-open sets introduced by Abd. ElMonsef et al. [1] which is equivalent to the notion of semipre-open sets due to Andrijević [4], plays a significant role in General Topology and Real Analysis. Now a days many topologists have focused their research ...
Compact Spaces - Dartmouth Math Home
... subcover. Let C = {c ∈ [a, b] : [a, c] can be covered by a finite subcollection of A}. We aim to show that b ∈ C. Notice that C is bounded from above by b, as C ⊂ [a, b]. Furthermore, as we can pick a single open set Uj containing a, we have [a, a + δ] ⊂ Uj for some δ > 0. Hence a + δ ∈ C for this δ ...
... subcover. Let C = {c ∈ [a, b] : [a, c] can be covered by a finite subcollection of A}. We aim to show that b ∈ C. Notice that C is bounded from above by b, as C ⊂ [a, b]. Furthermore, as we can pick a single open set Uj containing a, we have [a, a + δ] ⊂ Uj for some δ > 0. Hence a + δ ∈ C for this δ ...
Lecture Notes 2
... 3’. For every point p of M there exist an open set U ⊂ Rn and a one-to-one continuous mapping f : U → M , such that p ∈ f (U ). Conditions 1 and 2 are not redondant, as demonstrated in the following Exercise: Exercise 1.4.7. Let X be the union of the lines y = 1 and y = −1 in R2 , and P be the parti ...
... 3’. For every point p of M there exist an open set U ⊂ Rn and a one-to-one continuous mapping f : U → M , such that p ∈ f (U ). Conditions 1 and 2 are not redondant, as demonstrated in the following Exercise: Exercise 1.4.7. Let X be the union of the lines y = 1 and y = −1 in R2 , and P be the parti ...
Full - International Society for Mathematical Sciences
... (ii-2) Moreover, (Z2 , G# αO(Z2 , κ2 )) is T3/4 and it is not T1 . We shall prove the above main results in Section 3 (cf. the end of Section 3 for the notion of T3/4 -spaces). For some undefined or related concepts, the reader refered to some papers in References of the present paper, [21], [17], [ ...
... (ii-2) Moreover, (Z2 , G# αO(Z2 , κ2 )) is T3/4 and it is not T1 . We shall prove the above main results in Section 3 (cf. the end of Section 3 for the notion of T3/4 -spaces). For some undefined or related concepts, the reader refered to some papers in References of the present paper, [21], [17], [ ...
The Banach-Stone Theorem
... In metric spaces there is the notion of a (converging) sequence. However, this is not sufficient in general topological spaces. In this section we will discuss a well-known generalization. First of all, we have some definitions. 4.1. Definition. Let (X, T ) be a topological space and x ∈ X. A set N ...
... In metric spaces there is the notion of a (converging) sequence. However, this is not sufficient in general topological spaces. In this section we will discuss a well-known generalization. First of all, we have some definitions. 4.1. Definition. Let (X, T ) be a topological space and x ∈ X. A set N ...
English
... situation arises with the homology groups –introduced by H. Poincaré in 1895− since, for a diversity of topological spaces, the algebraic structure of their associated homology groups can be calculated. There are not many algorithms to compute absolute (or relative) homotopy groups of a topological ...
... situation arises with the homology groups –introduced by H. Poincaré in 1895− since, for a diversity of topological spaces, the algebraic structure of their associated homology groups can be calculated. There are not many algorithms to compute absolute (or relative) homotopy groups of a topological ...
K-theory of stratified vector bundles
... manifolds we refer the reader for example to [5, 9, 12, 6, 10]. We here introduce stratified manifolds only since they show that stratified vector bundles are natural generalizations of vector bundles in a similar way as manifolds with singularities or stratifolds [5] generalize manifolds. If M is ...
... manifolds we refer the reader for example to [5, 9, 12, 6, 10]. We here introduce stratified manifolds only since they show that stratified vector bundles are natural generalizations of vector bundles in a similar way as manifolds with singularities or stratifolds [5] generalize manifolds. If M is ...
PDF file without embedded fonts
... open subsets each of which is homeomorphic to S1 [0; 1). The paper [16] gives an excellent introduction to the theory of non-metrisable manifolds, while [17] provides a more recent view. Although Set Theory had been used in the study of manifolds earlier, the solution of the following important qu ...
... open subsets each of which is homeomorphic to S1 [0; 1). The paper [16] gives an excellent introduction to the theory of non-metrisable manifolds, while [17] provides a more recent view. Although Set Theory had been used in the study of manifolds earlier, the solution of the following important qu ...
Decomposing Borel functions using the Shore
... Borel function on the real line can be decomposed into countably many continuous functions. The Luzin problem was negatively answered in the 1930s. Then, which Borel functions are decomposable into continuous functions? In the end of the 19th century, Baire introduced a well-known hierarchy of real ...
... Borel function on the real line can be decomposed into countably many continuous functions. The Luzin problem was negatively answered in the 1930s. Then, which Borel functions are decomposable into continuous functions? In the end of the 19th century, Baire introduced a well-known hierarchy of real ...
Some forms of the closed graph theorem
... barrelled, if, whenever/„ ->- 0 cr(E', E) then (/„)£=x is equicontinuous. We remark that (I1, T(P, C0)) is sequentially barrelled (for it can be easily shown that the absolutely convex cover of weakly null sequence in c0 is relatively weakly compact); however (I1, T(Z1, C0)) does not belong to ^(c 0 ...
... barrelled, if, whenever/„ ->- 0 cr(E', E) then (/„)£=x is equicontinuous. We remark that (I1, T(P, C0)) is sequentially barrelled (for it can be easily shown that the absolutely convex cover of weakly null sequence in c0 is relatively weakly compact); however (I1, T(Z1, C0)) does not belong to ^(c 0 ...
Weakly sp-θ-closed functions and semipre
... U ⊂ spIn(Cl(U ) by (1) we have spClθ (f (U ) ⊂ spClθ (f (spInt(ClU ))) ⊂ f (Cl(U )). (2) ⇒ (1): Let F be any closed subset of X. Then, spClθ (f (spInt(F ))) ⊂ f (Cl(spInt(F ))) ⊂ f (Cl(F )) = f (F ). ...
... U ⊂ spIn(Cl(U ) by (1) we have spClθ (f (U ) ⊂ spClθ (f (spInt(ClU ))) ⊂ f (Cl(U )). (2) ⇒ (1): Let F be any closed subset of X. Then, spClθ (f (spInt(F ))) ⊂ f (Cl(spInt(F ))) ⊂ f (Cl(F )) = f (F ). ...
Lecture 8
... In view of the fact that compact spaces enjoy a number of properties not generally shared by non-compact spaces, it is natural to ask the following question: can a given space be embedded homeomorphically in a compact space? The answer to this is always yes. In fact, there are many ways of doing it, ...
... In view of the fact that compact spaces enjoy a number of properties not generally shared by non-compact spaces, it is natural to ask the following question: can a given space be embedded homeomorphically in a compact space? The answer to this is always yes. In fact, there are many ways of doing it, ...
PROPERTIES OF FINITE-DIMENSIONAL GROUPS Topological
... In connection with 2 and 2', Zippin and the author have shown [10; 8; 16] that any compact connected group acting effectively on a three-dimensional manifold M must be a Lie group. If M = Ez, we showed further that G must be equivalent either to the group of all rigid motions about an axis or to the ...
... In connection with 2 and 2', Zippin and the author have shown [10; 8; 16] that any compact connected group acting effectively on a three-dimensional manifold M must be a Lie group. If M = Ez, we showed further that G must be equivalent either to the group of all rigid motions about an axis or to the ...
Generalized Continuous Map in Topological Spaces
... 3. τ*-gc-irresolute maps in topological spaces In this section, we introduce a new class of maps called τ*-gc-irresolute maps which is included in the class of τ*-g-continuous maps. We investigate some basic properties also. Definition 3.1. A map f : X → Y from a topological space (X, τ*) into a top ...
... 3. τ*-gc-irresolute maps in topological spaces In this section, we introduce a new class of maps called τ*-gc-irresolute maps which is included in the class of τ*-g-continuous maps. We investigate some basic properties also. Definition 3.1. A map f : X → Y from a topological space (X, τ*) into a top ...
Michael Atiyah

Sir Michael Francis Atiyah, OM, FRS, FRSE, FMedSci FAA, HonFREng (born 22 April 1929) is a British mathematician specialising in geometry.Atiyah grew up in Sudan and Egypt and spent most of his academic life in the United Kingdom at Oxford and Cambridge, and in the United States at the Institute for Advanced Study. He has been president of the Royal Society (1990–1995), master of Trinity College, Cambridge (1990–1997), chancellor of the University of Leicester (1995–2005), and president of the Royal Society of Edinburgh (2005–2008). Since 1997, he has been an honorary professor at the University of Edinburgh.Atiyah's mathematical collaborators include Raoul Bott, Friedrich Hirzebruch and Isadore Singer, and his students include Graeme Segal, Nigel Hitchin and Simon Donaldson. Together with Hirzebruch, he laid the foundations for topological K-theory, an important tool in algebraic topology, which, informally speaking, describes ways in which spaces can be twisted. His best known result, the Atiyah–Singer index theorem, was proved with Singer in 1963 and is widely used in counting the number of independent solutions to differential equations. Some of his more recent work was inspired by theoretical physics, in particular instantons and monopoles, which are responsible for some subtle corrections in quantum field theory. He was awarded the Fields Medal in 1966, the Copley Medal in 1988, and the Abel Prize in 2004.