Search results
Results From The WOW.Com Content Network
A function between topological spaces is called monotone if every fiber is a connected subspace of its domain. A function f : R → R {\displaystyle f:\mathbb {R} \to \mathbb {R} } is monotone in this topological sense if and only if it is non-increasing or non-decreasing , which is the usual meaning of " monotone function " in real analysis .
Then there is a morphism Spec(k(y)) → Y with image y, where k(y) is the residue field of y. The fiber of f over y is defined as the fiber product X × Y Spec(k(y)); this is a scheme over the field k(y). [3] This concept helps to justify the rough idea of a morphism of schemes X → Y as a family of schemes parametrized by Y.
In mathematics, a bundle map (or bundle morphism) is a morphism in the category of fiber bundles. There are two distinct, but closely related, notions of bundle map, depending on whether the fiber bundles in question have a common base space. There are also several variations on the basic theme, depending on precisely which category of fiber ...
In algebraic geometry, the Stein factorization, introduced by Karl Stein for the case of complex spaces, states that a proper morphism can be factorized as a composition of a finite mapping and a proper morphism with connected fibers. Roughly speaking, Stein factorization contracts the connected components of the fibers of a mapping to points.
Another example of a pullback comes from the theory of fiber bundles: given a bundle map π : E → B and a continuous map f : X → B, the pullback (formed in the category of topological spaces with continuous maps) X × B E is a fiber bundle over X called the pullback bundle. The associated commutative diagram is a morphism of fiber bundles.
In mathematics, a pullback bundle or induced bundle [1] [2] [3] is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle π : E → B and a continuous map f : B′ → B one can define a "pullback" of E by f as a bundle f * E over B′. The fiber of f * E over a point b′ in B′ is just the fiber of E over f(b′).
Any base change of a proper morphism f: X → Y is proper. That is, if g: Z → Y is any morphism of schemes, then the resulting morphism X × Y Z → Z is proper. Properness is a local property on the base (in the Zariski topology). That is, if Y is covered by some open subschemes Y i and the restriction of f to all f −1 (Y i) is proper ...
In the field of mathematics known as algebraic topology, the Gysin sequence is a long exact sequence which relates the cohomology classes of the base space, the fiber and the total space of a sphere bundle. The Gysin sequence is a useful tool for calculating the cohomology rings given the Euler class of the sphere bundle and vice versa.