Search references for SEPARABLE SPACE. Phrases containing SEPARABLE SPACE
See searches and references containing SEPARABLE SPACE!SEPARABLE SPACE
Topological space with a dense countable subset
In mathematics, a topological space is called separable if it contains a countable dense subset; that is, there exists a sequence ( x n ) n = 1 ∞ {\displaystyle
Separable_space
Type of vector space in math
the state space is likewise assumed to be a separable complex Hilbert space. However, it is sometimes argued that non-separable Hilbert spaces are also
Hilbert_space
Algebraic structure of set algebra
higher than continuum). A separable measure space has a natural pseudometric that renders it separable as a pseudometric space. The distance between two
Σ-algebra
Topological space whose topology has a countable base
second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T
Second-countable_space
Normed vector space that is complete
of a separable Banach space need not be separable, but: Theorem—Let X {\displaystyle X} be a normed space. If X ′ {\displaystyle X'} is separable, then
Banach_space
Concept in topology
topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable
Polish_space
Topics referred to by the same term
roots is equal to its degree Separable sigma algebra, a separable space in measure theory Separable space, a topological space that contains a countable
Separability
Quantum states that are not entangled
In quantum mechanics, separable states are multipartite quantum states that can be written as a convex combination of product states. Product states are
Separable_state
on separable spaces and most applications to other areas of mathematics or physics only use separable Hilbert spaces. Note that if the measure space (X
Abelian_von_Neumann_algebra
Topological space where each point has a countable neighbourhood basis
space – Type of topological space Second-countable space – Topological space whose topology has a countable base Separable space – Topological space with
First-countable_space
Vector space of functions in mathematics
p}(\Omega )} is a Banach space. For p < ∞ , W k , p ( Ω ) {\displaystyle p<\infty ,W^{k,p}(\Omega )} is also a separable space. It is conventional to denote
Sobolev_space
Right continuous function with left limits
\sigma _{0}} , D {\displaystyle \mathbb {D} } is a separable space. Thus, Skorokhod space is a Polish space. By an application of the Arzelà–Ascoli theorem
Càdlàg
Type of algebraic field extension
a separable extension if for every α ∈ E {\displaystyle \alpha \in E} , the minimal polynomial of α {\displaystyle \alpha } over F is a separable polynomial
Separable_extension
space is a function whose composition with any element of the dual space is a measurable function in the usual (strong) sense. For separable spaces,
Weakly_measurable_function
Collection of random variables
For a stochastic process to be separable, in addition to other conditions, its index set must be a separable space, which means that the index set has
Stochastic_process
Frequently-cited counterexample in topology
subset of this space, and this is a non-separable subset of the separable space S {\displaystyle \mathbb {S} } . It shows that separability does not inherit
Sorgenfrey_plane
Type of relation for subsets of a topological space
should not be confused with separated spaces (defined below), which are somewhat related but different. Separable spaces are again a completely different topological
Separated_sets
Vector space with a notion of nearness
separated if it is Hausdorff; importantly, "separated" does not mean separable. The topological and linear algebraic structures can be tied together
Topological_vector_space
Topological space that is homeomorphic to a metric space
Hausdorff space is metrizable if and only if it is second-countable. Urysohn's Theorem can be restated as: A topological space is separable and metrizable
Metrizable_space
Technique for solving differential equations
differential equation for the unknown f ( x ) {\displaystyle f(x)} is separable if it can be written in the form d d x f ( x ) = g ( x ) h ( f ( x ) )
Separation_of_variables
topology, a cosmic space is any topological space that is a continuous image of some separable metric space. Equivalently (for regular T1 spaces but not in general)
Cosmic_space
Topological space of dimension zero
above agree for separable, metrisable spaces (see Inductive dimension § Relationships between dimensions). A zero-dimensional Hausdorff space is necessarily
Zero-dimensional_space
space is Polish if it is separable and completely metrizable, i.e. if it is homeomorphic to a separable and complete metric space. Polyadic A space is
Glossary_of_general_topology
Vector space with generalized dot product
Any separable inner product space has an orthonormal basis. Using the Hausdorff maximal principle and the fact that in a complete inner product space orthogonal
Inner_product_space
Mathematical theorem related to real and functional analysis
be found in (Schwartz 1969, p. 21). If H1 is a separable space (in particular, if it is a Euclidean space) the result is true in Zermelo–Fraenkel set theory;
Kirszbraun_theorem
Measure of the shape of a function
that M is a separable space with respect to the metric d.) Let 1 ≤ p ≤ ∞. The pth central moment of a measure μ on the measurable space (M, B(M)) about
Moment_(mathematics)
Generalized notion of measure in mathematics
theorem. If X is a compact separable space, then the space of finite signed Baire measures is the dual of the real Banach space of all continuous real-valued
Signed_measure
Index of articles associated with the same name
space is sequential. Every second-countable space is first countable, separable, and Lindelöf. Every σ-compact space is Lindelöf. Every metric space is
Axiom_of_countability
Polish mathematician (1907–1976)
Marczewski proved that the topological dimension, for arbitrary metrisable separable space X, coincides with the Hausdorff dimension under one of the metrics
Edward_Marczewski
Mathematical construction in topology
makes it a complete separable metric space in such a way that Σ {\displaystyle \Sigma } is then the Borel σ-algebra. Standard Borel spaces have several useful
Standard_Borel_space
certain well-behaved normed spaces (separable). It states that every such normed space can be embedded into the normed space C ( [ 0 , 1 ] , R ) {\displaystyle
Banach–Mazur_theorem
Function spaces generalizing finite-dimensional p norm spaces
the sequence space ℓ p {\displaystyle \ell ^{p}} defined above. For uncountable sets I {\displaystyle I} this is a non-separable Banach space which can be
Lp_space
Vector space of infinite sequences
construction of Tsirelson space in 1974. The dual statement, that every separable Banach space is linearly isometric to a quotient space of ℓ 1 {\displaystyle
Sequence_space
The Urysohn universal space is a certain metric space that contains all separable metric spaces in a particularly nice manner. This mathematics concept
Urysohn_universal_space
Topology where a set is open if it contains a particular point
separated sets. Separability {p} is dense and hence X is a separable space. However if X is uncountable then X \ {p} is not separable. This is an example
Particular_point_topology
Type of mathematical space
second-countable, separable and Lindelöf – these three conditions are equivalent for metric spaces. The converse is not true; e.g., a countable discrete space satisfies
Compact_space
Condition in order theory and topology
Every separable topological space has the ccc. Furthermore, a product space of an arbitrary number of separable spaces has the ccc. A metric space has the
Countable_chain_condition
Geometric property of a pair of sets of points in Euclidean geometry
higher-dimensional Euclidean spaces if the line is replaced by a hyperplane. The problem of determining if a pair of sets is linearly separable and finding a separating
Linear_separability
In mathematics, vector space of linear forms
normed space V {\displaystyle V} is separable, then so is the space V {\displaystyle V} itself. The converse is not true: for example, the space l 1 {\displaystyle
Dual_space
Mathematical set with some added structure
is closed in the product space. Every Borel set in a Euclidean space (and more generally, in a complete separable metric space), endowed with the Borel
Space_(mathematics)
Problem in set theory
requirement that R contains a countable dense subset (i.e., R is a separable space), then the answer is indeed yes: any such set R is necessarily order-isomorphic
Suslin's_problem
{\displaystyle X} be an infinite-dimensional closed subspace of a separable Orlicz sequence space ℓ M {\displaystyle \ell _{M}} . Then X {\displaystyle X} has
Orlicz_sequence_space
Metric geometry
topological spaces, the completely uniformizable spaces. A topological space homeomorphic to a separable complete metric space is called a Polish space. Since
Complete_metric_space
Branch of topology
separable, and Lindelöf. Every σ-compact space is Lindelöf. A metric space is first-countable. For metric spaces second-countability, separability, and
General_topology
Concept in mathematics
second-countable space (it has a countable base of open sets) is a separable space (it has a countable dense subset). A metric space is separable if and only
Axiom_of_countable_choice
Generalization of compactness
Arzelà–Ascoli theorem. A metric space is separable if and only if it is homeomorphic to a totally bounded metric space. The closure of a totally bounded
Totally_bounded_space
Statement in computational learning theory
separable, one can with high probability transform it into a training set that is linearly separable by projecting it into a higher-dimensional space
Cover's_theorem
Partially unsolved problem in mathematics
subspaces is an operator that acts on a Banach space that is not isomorphic to a separable Hilbert space). The problem seems to have been stated in the
Invariant_subspace_problem
Topological vector space
every LF-space is ultrabornological. An LF-space that is the inductive limit of a countable sequence of separable spaces is separable. LF spaces are distinguished
LF-space
Combinatorial and geometric result used in measure theory of Euclidean spaces
{F} } be an arbitrary collection of non-degenerating balls in a separable metric space such that R := sup { r a d ( B ) : B ∈ F } < ∞ {\displaystyle R:=\sup
Vitali_covering_lemma
Type of topological space
example, there are many compact spaces that are not second-countable. A metric space is Lindelöf if and only if it is separable, and if and only if it is second-countable
Lindelöf_space
Mathematical folklore
infinite-dimensional spaces due to a key limitation: any translation-invariant Borel measure on an infinite-dimensional separable Banach space must be either
Infinite-dimensional Lebesgue measure
Infinite-dimensional_Lebesgue_measure
Topological vector spaces
space. The space D ′ ( U ) {\displaystyle {\mathcal {D}}^{\prime }(U)} is separable and has the strong Pytkeev property but it is neither a k-space nor
Spaces of test functions and distributions
Spaces_of_test_functions_and_distributions
Algorithm for supervised learning of binary classifiers
them into a binary space. In fact, for a projection space of sufficiently high dimension, patterns can become linearly separable. Another way to solve
Perceptron
is a zero-dimensional compact Hausdorff space. It is a linearly ordered topological space that is separable but not second countable, hence not metrizable;
Split_interval
Barrelled space where closed and bounded subsets are compact
bounded. A Fréchet–Montel space is a Fréchet space that is also a Montel space. A separable Fréchet space is a Montel space if and only if each weak-*
Montel_space
Mathematical concept
{\hat {A}}\cong \operatorname {Prim} (A).} Let H be a separable infinite-dimensional Hilbert space. L(H) has two norm-closed *-ideals: I0 = {0} and the
Spectrum_of_a_C*-algebra
Topological space which is a generalization of certain compact spaces
Rudin. Existing proofs of this require the axiom of choice for the non-separable case. It has been shown that ZF theory is not sufficient to prove it,
Paracompact_space
Type of topological space
a subspace of the real line is the discrete topology. A discrete space is separable if and only if it is countable. Any topological subspace of R {\displaystyle
Discrete_space
FK-AK spaces are separable spaces. BK-space – Sequence space that is Banach FK-space – Sequence space that is Fréchet Normed space – Vector space on which
FK-AK_space
The set of all sure choices S {\displaystyle S} is a connected and separable space; The preference relation on the set of lotteries S × S {\displaystyle
Debreu's representation theorems
Debreu's_representation_theorems
In functional analysis, a Hilbert space
Hilbert space (RKHS) is a Hilbert space of functions in which point evaluation is a continuous linear functional. Specifically, a Hilbert space H {\displaystyle
Reproducing kernel Hilbert space
Reproducing_kernel_Hilbert_space
Generalization of the concept of a direct sum in mathematics
classification of (what are now called) von Neumann algebras on separable Hilbert spaces to the classification of so-called factors. Factors are analogous
Direct_integral
Notion in measure theory
Theorem. Suppose X {\displaystyle X} is a Polish space and Y {\displaystyle Y} a separable Hausdorff space, both equipped with their Borel σ-algebras. Let
Lifting_theory
Type of topological space
countable, dense subset is called a separable space. For a non-compact, locally compact Hausdorff topological space ( X , τ X ) {\displaystyle (X,\tau
Polyadic_space
Locally convex topological vector space that is also a complete metric space
Brauner spaces. All metrizable Montel spaces are separable. A separable Fréchet space is a Montel space if and only if each weak-* convergent sequence in
Fréchet_space
Mathematical term
normed space X has a dual space that is separable (with respect to the dual-norm topology) then X is necessarily separable. If X is a Banach space, the
Weak_topology
Theorem in functional analysis
proved that the closed unit ball in the continuous dual space of any separable normed space is sequentially weak-* compact (Banach only considered sequential
Banach–Alaoglu_theorem
Space with topology generated by convex sets
the case of separable normed spaces (in which case the unit ball of the dual is metrizable). Suppose X {\displaystyle X} is a vector space over K , {\displaystyle
Locally convex topological vector space
Locally_convex_topological_vector_space
Locally convex topological vector space
reflexive Banach space is separable if and only if its continuous dual is separable. This follows from the fact that for every normed space Y , {\displaystyle
Reflexive_space
Non-separable wavelets are multi-dimensional wavelets that are not directly implemented as tensor products of wavelets on some lower-dimensional space. They
Non-separable_wavelet
All infinite-dimensional, separable Banach spaces are homeomorphic
two infinite-dimensional, separable Banach spaces, or, more generally, Fréchet spaces, are homeomorphic as topological spaces. The theorem was proved by
Anderson–Kadec_theorem
Topological space
topology. Thus, the Moore plane shows that a subspace of a separable space need not be separable. The Moore plane is first countable, but not second countable
Moore_plane
of Banach spaces, the distortion problem seems to be as difficult on Hilbert spaces as on other Banach spaces. On a separable Hilbert space, and for the
Distortion_problem
Used to compare mixed characteristic situations with purely finite characteristic ones
étale over K♭. Since finite étale maps into a field are exactly finite separable field extensions, the almost purity theorem implies that for any perfectoid
Perfectoid_space
Construct in quantum information theory
range of possible expectation values of any separable state. Let a composite quantum system have state space H A ⊗ H B {\displaystyle H_{A}\otimes H_{B}}
Entanglement_witness
Topological space in mathematics
has different large-scale properties (e.g., it is neither Lindelöf nor separable). Therefore, it serves as an important counterexample in topology. Intuitively
Long_line_(topology)
Auerbach's lemma states that any finite-dimensional Banach space has an Auerbach basis. In a separable space, Markushevich bases exist and in great abundance.
Markushevich_basis
Mathematical space representing physical quantum systems
phase space of classical mechanics. In quantum mechanics a state space is a separable complex Hilbert space. The dimension of this Hilbert space depends
Quantum_state_space
infinite-dimensional separable Fréchet space there is a hypercyclic operator. On the other hand, there is no hypercyclic operator on a finite-dimensional space, nor on
Hypercyclic_operator
Mathematical theorem
abstract Wiener space construction is essentially the only way to obtain a strictly positive Gaussian measure on a separable Banach space. It was proved
Structure theorem for Gaussian measures
Structure_theorem_for_Gaussian_measures
Mathematical construction relating to infinite-dimensional spaces
abstract Wiener space construction. Let H {\displaystyle H} be a real Hilbert space, assumed to be infinite dimensional and separable. In the physics
Abstract_Wiener_space
Quantum entanglement of more than 2 qubits
fully separable states and fully entangled states, there also exists the notion of partially separable states. The definitions of fully separable and fully
Multipartite_entanglement
Universal C*-algebra
Hilbert space H {\displaystyle {\mathcal {H}}} satisfying certain relations. These algebras were introduced as the first concrete examples of a separable infinite
Cuntz_algebra
Space of stochastic processes
to the uniform metric, C {\displaystyle C} is both a separable and a complete space: Separability is a consequence of the Stone–Weierstrass theorem; Completeness
Classical_Wiener_space
space Locally compact space Compactly generated space Axiom of countability Sequential space First-countable space Second-countable space Separable space
List of general topology topics
List_of_general_topology_topics
holomorphic separability is a measure of the richness of the set of holomorphic functions on a complex manifold or complex-analytic space. A complex manifold
Holomorphic_separability
Theorem in measure theory
Vasilyevich Prokhorov, who considered probability measures on complete separable metric spaces. The term "Prokhorov’s theorem" is also applied to later generalizations
Prokhorov's_theorem
Mathematical expression for linear operators
a product of separable polynomials. Let x : V → V {\displaystyle x:V\to V} be any linear operator on the finite-dimensional vector space V {\displaystyle
Jordan–Chevalley decomposition
Jordan–Chevalley_decomposition
or an object moving smoothly along a straight line in the space-time 4D dimension. A separable DWT does not fully capture the same. In order to overcome
Wavelet for multidimensional signals analysis
Wavelet_for_multidimensional_signals_analysis
Tensor product space endowed with a special inner product
subspaces. This definition is almost never separable, in part because, in physical applications, "most" of the space describes impossible states. Modern authors
Tensor product of Hilbert spaces
Tensor_product_of_Hilbert_spaces
Topological space characterized by sequences
Shou, Lin; Chuan, Liu; Mumin, Dai (1997). "Images on locally separable metric spaces". Acta Mathematica Sinica. 13 (1): 1–8. doi:10.1007/BF02560519
Sequential_space
Result on the topology of operators on an infinite-dimensional, complex Hilbert space
carries over to the infinite-dimensional case of separable Hilbert space, basically because the space of upper triangular matrices is contractible as can
Kuiper's_theorem
*-algebra of bounded operators on a Hilbert space
Neumann algebra that acts on a separable Hilbert space is called separable. Note that such algebras are rarely separable in the norm topology. The von
Von_Neumann_algebra
Mathematical concept
are only finitely many open sets) and separable (since the space itself is countable). If a finite topological space is T1 (in particular, if it is Hausdorff)
Finite_topological_space
the N-dimensional convolution operation can be decomposed into a set of separable smoothing steps with a one-dimensional Gaussian kernel G along each dimension
Scale_space_implementation
projections in Banach spaces. In its original form, the theorem states that for any separable Banach space containing the space c 0 {\displaystyle c_{0}}
Sobczyk's_theorem
Branch of mathematical logic
are restricted to separable spaces. Many principles that imply the axiom of choice in their general form (such as "Every vector space has a basis") become
Reverse_mathematics
Computational tool
practice. As an example, a separable Hilbert space can only have a countable Schauder basis, but a non-separable Hilbert space may have an uncountable one
Schauder_basis
Type of continuity of a complex-valued function
{\displaystyle U} . The space C 0 , α ( Ω ) , 0 < α ≤ 1 {\displaystyle C^{0,\alpha }(\Omega ),0<\alpha \leq 1} is not separable. The embedding C 0 , β
Hölder_condition
SEPARABLE SPACE
SEPARABLE SPACE
Girl/Female
Arabic, Muslim
Example; Allegory; Parable
Girl/Female
Arabic, Muslim
Inseparable Friend
Girl/Female
Indian
Inseparable
Boy/Male
Sikh
Triumph for gods name, Triumph of the inseparable creator
Boy/Male
Muslim/Islamic
Inseparable friend
Girl/Female
Indian, Punjabi, Sikh
Triumph of the Inseparable Creator
Biblical
a parable; governing
Surname or Lastname
English
English : variant spelling of Rimer 1.German : variant of Riemer.German : habitational name for someone from Riem (now a suburb of Munich; formerly a separate town).
Girl/Female
Arabic, Muslim, Sindhi
Inseparable Friend
Boy/Male
Muslim
Considerate, Inseparable friend
Girl/Female
Indian, Punjabi, Sikh
Love of the Inseparable Creator
Boy/Male
Indian, Marathi
Separate
Girl/Female
Muslim
Example, Allegory, Parable
Boy/Male
Arabic, Australian, Muslim
Considerate; Inseparable Friend
Boy/Male
Sikh
Triumph for gods name, Triumph of the inseparable creator
Girl/Female
Muslim/Islamic
Inseparable friend
Girl/Female
Muslim
Inseparable friend
Surname or Lastname
English
English : occupational name for a maker of arms and armor, from Anglo-Norman French armer ‘arms-maker’ (Old French armier). Originally this was a separate name from Armour, but in due course the two became inextricably confused.
Girl/Female
Arabic
Separate
Girl/Female
Biblical
A parable, governing.
SEPARABLE SPACE
SEPARABLE SPACE
Surname or Lastname
English
English : nickname from the bird, Middle English wrenne, probably in reference to its small size.Irish : Anglicized form of Gaelic Ó Rinn ‘descendant of Rinn’, a personal name possibly derived from reann ‘spear’.Welsh : Anglicized form of Welsh Uren.
Boy/Male
Native American
Black - tailed deer.
Girl/Female
Australian, Jamaican
Of a Noble Kind
Boy/Male
Arabic
Arranger; Adjuster
Boy/Male
Tamil
Prayer of God
Male
Iranian/Persian
(شهریور) Persian name SHAHRIVAR means "desirable power."
Female
English
English form of Cornish Tamsin, TAMSON means "twin."
Surname or Lastname
English
English : variant of Booty.
Boy/Male
Indian, Sikh
Respectful
Female
English
Variant spelling of English Africa, AFFRICAH means "land of the Afri."
SEPARABLE SPACE
SEPARABLE SPACE
SEPARABLE SPACE
SEPARABLE SPACE
SEPARABLE SPACE
a.
Capable of being severed.
adv.
In an inseparable manner or condition; so as not to be separable.
a.
Reparable.
a.
Capable of being spoken; fit to be spoken.
v. t.
To represent by parable.
a.
Capable of being separated, disjoined, disunited, or divided; as, the separable parts of plants; qualities not separable from the substance in which they exist.
a.
Able to speak.
a.
Inseparable.
v. t.
To come between; to keep apart by occupying the space between; to lie between; as, the Mediterranean Sea separates Europe and Africa.
adv.
In a reparable manner.
a.
Capable of being repaired, restored to a sound or good state, or made good; restorable; as, a reparable injury.
p. a.
Disunited from the body; disembodied; as, a separate spirit; the separate state of souls.
a.
Not separable; incapable of being separated or disjoined.
a.
Separable.
a.
That may be secured.
n.
See Sperable.
n.
A kind of small nail used by shoemakers.
a.
Invariably attached to some word, stem, or root; as, the inseparable particle un-.
a.
Capable of being, or proper to be , repaid; due; as, a loan repayable in ten days; services repayable in kind.
a.
Capable of being overcome or conquered; surmountable.