Concept

Foliation

In mathematics (differential geometry), a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable (of class Cr), or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1 (otherwise, C0 is a topological foliation). The number p (the dimension of the leaves) is called the dimension of the foliation and q = n − p is called its codimension. In some papers on general relativity by mathematical physicists, the term foliation (or slicing) is used to describe a situation where the relevant Lorentz manifold (a (p+1)-dimensional spacetime) has been decomposed into hypersurfaces of dimension p, specified as the level sets of a real-valued smooth function (scalar field) whose gradient is everywhere non-zero; this smooth function is moreover usually assumed to be a time function, meaning that its gradient is everywhere time-like, so that its level-sets are all space-like hypersurfaces. In deference to standard mathematical terminology, these hypersurface are often called the leaves (or sometimes slices) of the foliation. Note that while this situation does constitute a codimension-1 foliation in the standard mathematical sense, examples of this type are actually globally trivial; while the leaves of a (mathematical) codimension-1 foliation are always locally the level sets of a function, they generally cannot be expressed this way globally, as a leaf may pass through a local-trivializing chart infinitely many times, and the holonomy around a leaf may also obstruct the existence of a globally-consistent defining functions for the leaves.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.