To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Section (fiber bundle)

From Wikipedia, the free encyclopedia

A section  s {\displaystyle s}  of a bundle  p : E → B {\displaystyle p\colon E\to B} .  A section  s {\displaystyle s}  allows the base space  B {\displaystyle B}  to be identified with a subspace  s ( B ) {\displaystyle s(B)}  of  E {\displaystyle E} .
A section of a bundle . A section allows the base space to be identified with a subspace of .
A vector field on  R 2 {\displaystyle \mathbb {R} ^{2}} . A section of a tangent vector bundle is a vector field.
A vector field on . A section of a tangent vector bundle is a vector field.

In the mathematical field of topology, a section (or cross section)[1] of a fiber bundle is a continuous right inverse of the projection function . In other words, if is a fiber bundle over a base space, :

then a section of that fiber bundle is a continuous map,

such that

for all .

A section is an abstract characterization of what it means to be a graph. The graph of a function can be identified with a function taking its values in the Cartesian product , of and :

Let be the projection onto the first factor: . Then a graph is any function for which .

The language of fibre bundles allows this notion of a section to be generalized to the case when is not necessarily a Cartesian product. If is a fibre bundle, then a section is a choice of point in each of the fibres. The condition simply means that the section at a point must lie over . (See image.)

For example, when is a vector bundle a section of is an element of the vector space lying over each point . In particular, a vector field on a smooth manifold is a choice of tangent vector at each point of : this is a section of the tangent bundle of . Likewise, a 1-form on is a section of the cotangent bundle.

Sections, particularly of principal bundles and vector bundles, are also very important tools in differential geometry. In this setting, the base space is a smooth manifold , and is assumed to be a smooth fiber bundle over (i.e., is a smooth manifold and is a smooth map). In this case, one considers the space of smooth sections of over an open set , denoted . It is also useful in geometric analysis to consider spaces of sections with intermediate regularity (e.g., sections, or sections with regularity in the sense of Hölder conditions or Sobolev spaces).

Local and global sections

Fiber bundles do not in general have such global sections (consider, for example, the fiber bundle over with fiber obtained by taking the Möbius bundle and removing the zero section), so it is also useful to define sections only locally. A local section of a fiber bundle is a continuous map where is an open set in and for all in . If is a local trivialization of , where is a homeomorphism from to (where is the fiber), then local sections always exist over in bijective correspondence with continuous maps from to . The (local) sections form a sheaf over called the sheaf of sections of .

The space of continuous sections of a fiber bundle over is sometimes denoted , while the space of global sections of is often denoted or .

Extending to global sections

Sections are studied in homotopy theory and algebraic topology, where one of the main goals is to account for the existence or non-existence of global sections. An obstruction denies the existence of global sections since the space is too "twisted". More precisely, obstructions "obstruct" the possibility of extending a local section to a global section due to the space's "twistedness". Obstructions are indicated by particular characteristic classes, which are cohomological classes. For example, a principal bundle has a global section if and only if it is trivial. On the other hand, a vector bundle always has a global section, namely the zero section. However, it only admits a nowhere vanishing section if its Euler class is zero.

Generalizations

Obstructions to extending local sections may be generalized in the following manner: take a topological space and form a category whose objects are open subsets, and morphisms are inclusions. Thus we use a category to generalize a topological space. We generalize the notion of a "local section" using sheaves of abelian groups, which assigns to each object an abelian group (analogous to local sections).

There is an important distinction here: intuitively, local sections are like "vector fields" on an open subset of a topological space. So at each point, an element of a fixed vector space is assigned. However, sheaves can "continuously change" the vector space (or more generally abelian group).

This entire process is really the global section functor, which assigns to each sheaf its global section. Then sheaf cohomology enables us to consider a similar extension problem while "continuously varying" the abelian group. The theory of characteristic classes generalizes the idea of obstructions to our extensions.

See also

Notes

  1. ^ Husemöller, Dale (1994), Fibre Bundles, Springer Verlag, p. 12, ISBN 0-387-94087-1

References

External links

This page was last edited on 2 March 2021, at 21:24
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.