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
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
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
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
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
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 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
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
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
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
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
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
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
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
In mathematics, a quantitative measure of the shape of a set of points
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)
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
{\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
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
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
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
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
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
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
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
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
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
mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive
Effective_Polish_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
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
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
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
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
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 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
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
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
plane) is an example of a non-metrizable Moore space. Every metacompact, separable, normal Moore space is metrizable. This theorem is known as Traylor's
Moore_space_(topology)
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
Subject in mathematics
Let ( X , T ) {\displaystyle (X,{\mathcal {T}})} be a separable, metrizable locally convex space and T s := T s ( X , X ′ ) {\displaystyle T_{s}:=T_{s}(X
Measure theory in topological vector spaces
Measure_theory_in_topological_vector_spaces
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
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
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
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
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
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
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
Functional analysis concept
n → 0 {\displaystyle \lambda _{n}\to 0} . When the Hilbert space is in addition separable, one can mix the basis ( e n ) {\displaystyle (e_{n})} with
Compact operator on Hilbert space
Compact_operator_on_Hilbert_space
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
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
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
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
List of concrete topologies and topological spaces
Priestley space Roy's lattice space Split interval, also called the Alexandrov double arrow space and the two arrows space − All compact separable ordered
List_of_topologies
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
Matrix decomposition
to a bounded operator M {\displaystyle \mathbf {M} } on a separable Hilbert space H . {\displaystyle H.} Namely, for any bounded operator M
Singular_value_decomposition
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
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
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
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
Measure of the "size" of linear operators
space of bounded operators on H , {\displaystyle H,} with the topology induced by operator norm, is not separable. For example, consider the Lp space
Operator_norm
Physics phenomenon
represented in this form are called separable states, or product states. However, not all states of the composite system are separable. Fix a basis { | i ⟩ A } {\displaystyle
Quantum_entanglement
Topological complex vector space
suitable Hilbert space, H; this is the content of the Gelfand–Naimark theorem. Let H be a separable infinite-dimensional Hilbert space. The algebra K(H)
C*-algebra
Field extension that is not algebraic
transcendence basis S such that L is a separable algebraic extension over K(S). A field extension L / K is said to be separably generated if it admits a separating
Transcendental_extension
Two-stage small launch vehicle
Spaceport in Norway and the Guiana Space Centre in French Guiana. Early customers for the launcher include Airbus Defence and Space, the German Aerospace Center
Spectrum_(rocket)
SEPARABLE SPACE
SEPARABLE SPACE
Boy/Male
Sikh
Triumph for gods name, Triumph of the inseparable creator
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
Indian, Punjabi, Sikh
Triumph of the Inseparable Creator
Girl/Female
Muslim
Inseparable friend
Girl/Female
Arabic, Muslim
Example; Allegory; Parable
Girl/Female
Arabic
Separate
Girl/Female
Muslim
Example, Allegory, Parable
Girl/Female
Muslim/Islamic
Inseparable friend
Biblical
a parable; governing
Boy/Male
Muslim
Considerate, Inseparable friend
Girl/Female
Biblical
A parable, governing.
Girl/Female
Indian
Inseparable
Girl/Female
Arabic, Muslim
Inseparable Friend
Boy/Male
Indian, Marathi
Separate
Boy/Male
Arabic, Australian, Muslim
Considerate; 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
Indian, Punjabi, Sikh
Love of the Inseparable Creator
Girl/Female
Arabic, Muslim, Sindhi
Inseparable Friend
Boy/Male
Muslim/Islamic
Inseparable friend
Boy/Male
Sikh
Triumph for gods name, Triumph of the inseparable creator
SEPARABLE SPACE
SEPARABLE SPACE
Boy/Male
Hindu, Indian
Lord Shiva; Husband of Sati
Surname or Lastname
English
English : occupational name for a maker of plate-armor or armor-plates, from an agent derivative of Middle English plate ‘armor-plate’.English : from an agent derivative of Old French plait ‘plea’ or plaitier ‘to plead’, hence an occupational name or nickname for an advocate.
Male
Japanese
(一郎) Japanese name ICHIROU means "first son."
Male
Italian
Variant spelling of Italian Filippo, FILLIPO means "lover of horses."
Boy/Male
German, Hebrew, Indian, Kannada
Fighter; Enlightened; Eagle
Surname or Lastname
English
English : variant spelling of Foulks.
Boy/Male
Hindu
Boy/Male
Australian, Jamaican
A Bright Rock
Boy/Male
American, Anglo, Australian, British, Christian, English
Lives Near the Long Ford; Long River Crossing
Girl/Female
Indian
Shelter
SEPARABLE SPACE
SEPARABLE SPACE
SEPARABLE SPACE
SEPARABLE SPACE
SEPARABLE SPACE
a.
Invariably attached to some word, stem, or root; as, the inseparable particle un-.
a.
Capable of being spoken; fit to be spoken.
a.
Capable of being, or proper to be , repaid; due; as, a loan repayable in ten days; services repayable in kind.
a.
Reparable.
adv.
In an inseparable manner or condition; so as not to be separable.
a.
Capable of being repaired, restored to a sound or good state, or made good; restorable; as, a reparable injury.
a.
Able to speak.
a.
Separable.
adv.
In a reparable manner.
v. t.
To represent by parable.
a.
That may be secured.
p. a.
Disunited from the body; disembodied; as, a separate spirit; the separate state of souls.
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.
Inseparable.
a.
Capable of being overcome or conquered; surmountable.
n.
See Sperable.
n.
A kind of small nail used by shoemakers.
v. t.
To come between; to keep apart by occupying the space between; to lie between; as, the Mediterranean Sea separates Europe and Africa.
a.
Not separable; incapable of being separated or disjoined.
a.
Capable of being severed.