Extension of functors to fibrewise pointed spaces (Q519436): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
A classical general framework when dealing with notions such as vector bundles, fibre bundles or fibrations is given by the theory of fibrewise spaces. A fibrewise space (over a fixed space \(B\)) consists of a space \(X\) together with a map \(p:X\rightarrow B\), called the projection. If \(X_b\) denotes the fibre \(p^{-1}(b)\) over \(b\in B\), then \(X\) is usually thought of as the continuous family of spaces \(X_b\) parameterized by the elements of \(B.\) A useful procedure in fibrewise theory is to consider what is called a fibrewise extension of an endofunctor \(\Phi :Top\rightarrow Top,\) where \(Top\) denotes the category of topological spaces. Such an extension consists of a functor assigning to any fibrewise space \(p:X\rightarrow B\) another fibrewise space \(\Phi _B(X)\rightarrow B\) having each \(\Phi (X_b)\) as the fibre over \(b\in B.\) In this sense, one can find in [\textit{I. M. James}, General topology and homotopy theory. New York etc.: Springer-Verlag (1984; Zbl 0562.54001)] a simple but quite general construction of a fibrewise extension when the endofunctor \(\Phi \) is continuous. Inspired by James' construction, the author of the paper under review essentially develops and discusses fibrewise extensions in a pointed setting. Indeed, given an endofunctor \(\Phi :Top_*\rightarrow Top_*\) on the category of pointed topological spaces, and given a fibrewise pointed space (i.e., a fibrewise space \(p:X\rightarrow B\) with a section \(s:B\rightarrow X\)), another fibrewise pointed space \[ X[\Phi ]\rightarrow B \] \noindent whose fibres are the pointed spaces \(\Phi (X_b,s(b))\) is constructed. Both \(\Phi \) and \(X\) must satisfy certain mild conditions in order to assure the existence of such a pointed construction. Functoriality and naturality, as well as the cases of (locally) trivial fibrewise pointed spaces and fibrewise pointed fibrations are also analyzed. As an application the author presents a straightforward Whitehead-Ganea framework for the fibrewise Lusternik-Schnirelmann category in the sense of \textit{I. M. James} and \textit{J. R. Morris} [Proc. R. Soc. Edinb., Sect. A, Math. 119, No. 1--2, 177--190 (1991; Zbl 0738.55005)]. | |||
Property / review text: A classical general framework when dealing with notions such as vector bundles, fibre bundles or fibrations is given by the theory of fibrewise spaces. A fibrewise space (over a fixed space \(B\)) consists of a space \(X\) together with a map \(p:X\rightarrow B\), called the projection. If \(X_b\) denotes the fibre \(p^{-1}(b)\) over \(b\in B\), then \(X\) is usually thought of as the continuous family of spaces \(X_b\) parameterized by the elements of \(B.\) A useful procedure in fibrewise theory is to consider what is called a fibrewise extension of an endofunctor \(\Phi :Top\rightarrow Top,\) where \(Top\) denotes the category of topological spaces. Such an extension consists of a functor assigning to any fibrewise space \(p:X\rightarrow B\) another fibrewise space \(\Phi _B(X)\rightarrow B\) having each \(\Phi (X_b)\) as the fibre over \(b\in B.\) In this sense, one can find in [\textit{I. M. James}, General topology and homotopy theory. New York etc.: Springer-Verlag (1984; Zbl 0562.54001)] a simple but quite general construction of a fibrewise extension when the endofunctor \(\Phi \) is continuous. Inspired by James' construction, the author of the paper under review essentially develops and discusses fibrewise extensions in a pointed setting. Indeed, given an endofunctor \(\Phi :Top_*\rightarrow Top_*\) on the category of pointed topological spaces, and given a fibrewise pointed space (i.e., a fibrewise space \(p:X\rightarrow B\) with a section \(s:B\rightarrow X\)), another fibrewise pointed space \[ X[\Phi ]\rightarrow B \] \noindent whose fibres are the pointed spaces \(\Phi (X_b,s(b))\) is constructed. Both \(\Phi \) and \(X\) must satisfy certain mild conditions in order to assure the existence of such a pointed construction. Functoriality and naturality, as well as the cases of (locally) trivial fibrewise pointed spaces and fibrewise pointed fibrations are also analyzed. As an application the author presents a straightforward Whitehead-Ganea framework for the fibrewise Lusternik-Schnirelmann category in the sense of \textit{I. M. James} and \textit{J. R. Morris} [Proc. R. Soc. Edinb., Sect. A, Math. 119, No. 1--2, 177--190 (1991; Zbl 0738.55005)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jose M. García-Calcines / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55R70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55M30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6700678 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fibrewise pointed space | |||
Property / zbMATH Keywords: fibrewise pointed space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
continuous functor | |||
Property / zbMATH Keywords: continuous functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lusternik-Schnirelmann category | |||
Property / zbMATH Keywords: Lusternik-Schnirelmann category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological complexity | |||
Property / zbMATH Keywords: topological complexity / rank | |||
Normal rank |
Revision as of 05:59, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extension of functors to fibrewise pointed spaces |
scientific article |
Statements
Extension of functors to fibrewise pointed spaces (English)
0 references
4 April 2017
0 references
A classical general framework when dealing with notions such as vector bundles, fibre bundles or fibrations is given by the theory of fibrewise spaces. A fibrewise space (over a fixed space \(B\)) consists of a space \(X\) together with a map \(p:X\rightarrow B\), called the projection. If \(X_b\) denotes the fibre \(p^{-1}(b)\) over \(b\in B\), then \(X\) is usually thought of as the continuous family of spaces \(X_b\) parameterized by the elements of \(B.\) A useful procedure in fibrewise theory is to consider what is called a fibrewise extension of an endofunctor \(\Phi :Top\rightarrow Top,\) where \(Top\) denotes the category of topological spaces. Such an extension consists of a functor assigning to any fibrewise space \(p:X\rightarrow B\) another fibrewise space \(\Phi _B(X)\rightarrow B\) having each \(\Phi (X_b)\) as the fibre over \(b\in B.\) In this sense, one can find in [\textit{I. M. James}, General topology and homotopy theory. New York etc.: Springer-Verlag (1984; Zbl 0562.54001)] a simple but quite general construction of a fibrewise extension when the endofunctor \(\Phi \) is continuous. Inspired by James' construction, the author of the paper under review essentially develops and discusses fibrewise extensions in a pointed setting. Indeed, given an endofunctor \(\Phi :Top_*\rightarrow Top_*\) on the category of pointed topological spaces, and given a fibrewise pointed space (i.e., a fibrewise space \(p:X\rightarrow B\) with a section \(s:B\rightarrow X\)), another fibrewise pointed space \[ X[\Phi ]\rightarrow B \] \noindent whose fibres are the pointed spaces \(\Phi (X_b,s(b))\) is constructed. Both \(\Phi \) and \(X\) must satisfy certain mild conditions in order to assure the existence of such a pointed construction. Functoriality and naturality, as well as the cases of (locally) trivial fibrewise pointed spaces and fibrewise pointed fibrations are also analyzed. As an application the author presents a straightforward Whitehead-Ganea framework for the fibrewise Lusternik-Schnirelmann category in the sense of \textit{I. M. James} and \textit{J. R. Morris} [Proc. R. Soc. Edinb., Sect. A, Math. 119, No. 1--2, 177--190 (1991; Zbl 0738.55005)].
0 references
fibrewise pointed space
0 references
continuous functor
0 references
Lusternik-Schnirelmann category
0 references
topological complexity
0 references