Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Hyperplane separation theorem (view), Gabbay's separation theorem (view), Mutual fund separation theorem (view), Fisher separation theorem (view), Lusin's separation theorem (view), Poincaré separation theorem (view), Sturm separation theorem (view)

searching for Separation theorem 15 found (80 total)

alternate case: separation theorem

Jordan curve theorem (3,351 words) [view diff] exact match in snippet view article find links to article

Lebesgue and L. E. J. Brouwer in 1911, resulting in the Jordan–Brouwer separation theorem. Theorem—Let X be an n-dimensional topological sphere in the (n+1)-dimensional

Andreotti–Vesentini theorem (98 words) [view diff] exact match in snippet view article find links to article

In mathematics, the Andreotti–Vesentini separation theorem, introduced by Aldo Andreotti and Edoardo Vesentini (1965, 1965b) states that certain cohomology

Hypersurface (1,322 words) [view diff] exact match in snippet view article find links to article

into two connected components; this is related to the Jordan–Brouwer separation theorem. An algebraic hypersurface is an algebraic variety that may be defined

Nonlinear functional analysis (87 words) [view diff] exact match in snippet view article find links to article

in infinite-dimensional spaces, topological degree theory, Jordan separation theorem, Lefschetz fixed-point theorem) Morse theory and Lusternik–Schnirelmann

Walter Murray Wonham (663 words) [view diff] exact match in snippet view article find links to article

multivariable control with A. Stephen Morse. In 1968, Wonham proved a separation theorem for controls in a more general cost functional class with many technical

Separating set (261 words) [view diff] exact match in snippet view article find links to article

\mathbb {R} } or C , {\displaystyle \mathbb {C} ,} then the Hahn–Banach separation theorem implies that continuous linear functionals on X {\displaystyle X}

Corrado Böhm (513 words) [view diff] exact match in snippet view article find links to article

Böhm–Berarducci encoding. In the lambda calculus, he established an important separation theorem between normal forms, known as Böhm's theorem, which states that for

Robert Phelps (1,073 words) [view diff] exact match in snippet view article find links to article

prerequisite "background in functional analysis": "the main rule is the separation theorem (a.k.a. [also known as] the Hahn–Banach theorem): Like the standard

Raymond Louis Wilder (1,349 words) [view diff] exact match in snippet view article find links to article

from each of these domains. In his "A converse of the Jordan-Brouwer separation theorem in three dimensions" (1930), Wilder showed that a subset of Euclidean

Separation principle in stochastic control (4,925 words) [view diff] exact match in snippet view article find links to article

control, and thus so is Σ {\displaystyle \Sigma } . Wonham proved a separation theorem for controls in the class π : u ( t ) = ψ ( t , x ^ ( t ) ) {\displaystyle

L. E. J. Brouwer (2,156 words) [view diff] exact match in snippet view article find links to article

theorem Brouwer–Heyting–Kolmogorov interpretation Jordan-Brouwer separation theorem Kleene–Brouwer order Phragmen–Brouwer theorem Tietze-Urysohn-Brouwer

Elon Lages Lima (610 words) [view diff] exact match in snippet view article find links to article

(1987). "Orientability of smooth hypersurfaces and the Jordan-Brouwer separation theorem". Expositiones Mathematicae. vol. 5, pp. 283–286. Spectrum (topology)

David N. Weil (815 words) [view diff] exact match in snippet view article find links to article

among cash, bonds, and stocks is inconsistent with the mutual-fund separation theorem, which states that all investors should hold the same composition

TC0 (4,889 words) [view diff] exact match in snippet view article find links to article

polynomial-size majority circuit of depth d + 1 {\displaystyle d+1} . As a separation theorem, it is known that the n {\displaystyle n} -input Boolean inner product

Independence-friendly logic (7,168 words) [view diff] exact match in snippet view article find links to article

T {\displaystyle T_{0}\subset T} . This is a difference from FOL. Separation theorem: if φ , ψ {\displaystyle \varphi ,\psi } are mutually inconsistent