Search references for CLOSURE OPERATOR. Phrases containing CLOSURE OPERATOR
See searches and references containing CLOSURE OPERATOR!CLOSURE OPERATOR
Mathematical operator
In mathematics, a closure operator on a set S is a function cl : P ( S ) → P ( S ) {\displaystyle \operatorname {cl} :{\mathcal {P}}(S)\rightarrow {\mathcal
Closure_operator
Operation on the subsets of a set
operations individually. The closure of a subset is the result of a closure operator applied to the subset. The closure of a subset under some operations
Closure_(mathematics)
All points and limit points in a subset of a topological space
abstract theory of closure operators and the Kuratowski closure axioms can be readily translated into the language of interior operators by replacing sets
Closure_(topology)
Axioms for defining a topology
interior operator. Let X {\displaystyle X} be an arbitrary set and P ( X ) {\displaystyle {\mathcal {P}}(X)} its power set. A Kuratowski closure operator is
Kuratowski_closure_axioms
Topological space characterized by sequences
that }}s_{\bullet }\to x\right\}} which defines a map, the sequential closure operator, on the power set of X . {\displaystyle X.} If necessary for clarity
Sequential_space
Linear operator defined on a dense linear subspace
functional analysis and operator theory, the notion of unbounded operator provides an abstract framework for dealing with differential operators, unbounded observables
Unbounded_operator
Unary operation on string sets
In formal language theory, the Kleene star (or Kleene operator or Kleene closure) refers to two related unary operations, that can be applied either to
Kleene_star
Topics referred to by the same term
axioms for its use in database theory Closure (mathematics), the result of applying a closure operator Closure (topology), for a set, the smallest closed
Closure
Mathematical function with no sudden changes
topological closure cl X A {\displaystyle \operatorname {cl} _{X}A} satisfies the Kuratowski closure axioms. Conversely, for any closure operator A ↦ cl
Continuous_function
Smallest convex set containing a given set
The convex hull operator is an example of a closure operator, and every antimatroid can be represented by applying this closure operator to finite sets
Convex_hull
Smallest transitive relation containing a given binary relation
transitive closure of R. In finite model theory, first-order logic (FO) extended with a transitive closure operator is usually called transitive closure logic
Transitive_closure
Largest open subset of some given set
operator below or the article Kuratowski closure axioms. The interior operator int X {\displaystyle \operatorname {int} _{X}} is dual to the closure operator
Interior_(topology)
Property of operations
abstract algebra (in particular, in the theory of projectors and closure operators) and functional programming (in which it is connected to the property
Idempotence
Closure operator
topology, a preclosure operator or Čech closure operator is a map between subsets of a set, similar to a topological closure operator, except that it is not
Preclosure_operator
Set of logical formulae containing all formulae able to be deduced from itself
closed set. Deductive closure is a special case of the more general mathematical concept of closure — in particular, the deductive closure of T {\displaystyle
Deductive_closure
Branch of topology
also be determined by a closure operator (denoted cl), which assigns to any subset A ⊆ X its closure, or an interior operator (denoted int), which assigns
General_topology
Algebraic structure
interior operator is the closure operator C defined by xC = ((x′)I)′. xC is called the closure of x. By the principle of duality, the closure operator satisfies
Interior_algebra
Particular correspondence between two partially ordered sets
compositions GF : A → A, known as the associated closure operator, and FG : B → B, known as the associated kernel operator. Both are monotone and idempotent, and
Galois_connection
Multiple equivalent ways to define a topological space
a topological space determines a class of closed sets, of closure and interior operators, and of convergence of various types of objects. Each of these
Axiomatic foundations of topological spaces
Axiomatic_foundations_of_topological_spaces
Condition for a mathematical function to map some value to itself
points. Every closure operator on a poset has many fixed points; these are the "closed elements" with respect to the closure operator, and they are the
Fixed-point_theorem
Technique for creating lexically scoped first class functions
Sussman and Abelson also use the term closure in the 1980s with a second, unrelated meaning: the property of an operator that adds data to a data structure
Closure (computer programming)
Closure_(computer_programming)
Branch of mathematical logic
deterministic transitive closure operators yield L, problems solvable in logarithmic space. First-order logic with a transitive closure operator yields NL, the
Descriptive_complexity_theory
Idempotent semiring endowed with a closure operator
operation, denoted x ∗ {\displaystyle x^{*}} , must satisfy the laws of a closure operator. Kleene algebras have their origins in the theory of regular expressions
Kleene_algebra
Theorem in group theory
associated closure operator on subgroups of G {\displaystyle G} is H ¯ = H N {\displaystyle {\bar {H}}=HN} ; the associated kernel operator on subgroups
Correspondence_theorem
Branch of mathematics
Filters and nets are notions closely related to order theory and the closure operator of sets can be used to define a topology. Beyond these relations, topology
Order_theory
Type of continuous linear operator
subsequences. Compact operators partly restore this finite-dimensional behavior by sending bounded sets to sets whose closures are compact, or equivalently
Compact_operator
Generalized topological space
\operatorname {cl} ),} a set X {\displaystyle X} with a preclosure operator (Čech closure operator) cl . {\displaystyle \operatorname {cl} .} The two definitions
Pretopological_space
Concept in topology
topological spaces where we have no concrete way to measure distances. The closure operator closes a given set by mapping it to a closed set which contains the
Closeness_(mathematics)
approach space has a topology, given by treating A → A(0) as a Kuratowski closure operator. The appropriate maps between approach spaces are the contractions
Approach_space
Abstraction of linear independence of vectors
in terms of: independent sets; bases or circuits; rank functions; closure operators; and closed sets or flats. In the language of partially ordered sets
Matroid
Class of computational complexity
the addition of a transitive closure operator. A full transitive closure is not needed; a commutative transitive closure and even weaker forms suffice
PSPACE
Binary operator in computer programming
Google's Closure Templates, the Elvis operator is a null coalescing operator, equivalent to isNonnull($a) ? $a : $b. In Ballerina, the Elvis operator L ?:
Elvis_operator
Smallest normal group containing a set
In group theory, the normal closure of a subset S {\displaystyle S} of a group G {\displaystyle G} is the smallest normal subgroup of G {\displaystyle
Normal_closure_(group_theory)
Operation in algebra and mathematics
used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. Monads are also
Monad_(category_theory)
In mathematics, the reflexive closure of a binary relation R {\displaystyle R} on a set X {\displaystyle X} is the smallest reflexive relation on X {\displaystyle
Reflexive_closure
Formulation of matroids using closure operators
phenomena. The study of how pregeometries, geometries, and abstract closure operators influence the structure of first-order models is called geometric
Pregeometry_(model_theory)
Linear operator equal to its own adjoint
self-adjoint operator is almost as good as having a self-adjoint operator, since we merely need to take the closure to obtain a self-adjoint operator. In physics
Self-adjoint_operator
Linear operator whose graph is closed
is a linear operator whose graph is strictly smaller than its closure. A linear operator f : D ⊆ X → Y {\displaystyle f:D\subseteq X\to Y} is closable
Closed_linear_operator
Type of topology in mathematics
Interior and closure algebraic characterizations: The interior operator distributes over arbitrary intersections of subsets. The closure operator distributes
Alexandrov_topology
Czech mathematician (1893–1960)
823–844, doi:10.2307/1968839, hdl:10338.dmlcz/100459, JSTOR 1968839 Čech closure operator Čech cohomology Čech nerve Stone–Čech compactification Tychonoff's
Eduard_Čech
Concept from mathematical logic
extensions. A strongly minimal set, equipped with the closure operator given by algebraic closure in the model-theoretic sense, is an infinite matroid
Strongly_minimal_theory
Form of logic that allows quantification over predicates
transitive closure operator. EXPTIME is the set of languages definable by second-order formulas with an added least fixed point operator. Relationships
Second-order_logic
Subset of a preorder that contains all larger elements
and lower closures, when viewed as functions from the power set of X {\displaystyle X} to itself, are examples of Kuratowski closure operators. As a result
Upper_and_lower_sets
Polish–American mathematician (1901–1983)
described is just a finitary closure operator on a set (the set of sentences). In abstract algebraic logic, finitary closure operators are still studied under
Alfred_Tarski
Concept in linear algebra
on subsets of the inner product space, with associated closure operator the topological closure of the span. For a finite-dimensional inner product space
Orthogonal_complement
Boolean algebra extended with a unary operator representing existential quantification
+ y) = ∃x + ∃y ∃x∃y = ∃(x∃y). ∃x is the existential closure of x. Dual to ∃ is the unary operator ∀, the universal quantifier, defined as ∀x := (∃x′)′
Monadic_Boolean_algebra
Mathematical study of linear operators
mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may
Operator_theory
Applying operations to functions in terms of values for each input "point"
notions, for instance: A closure operator c on a poset P is a monotone and idempotent self-map on P (i.e. a projection operator) with the additional property
Pointwise
Logical formulation of recursion
connectives and predicates, second-order variables as well as a transitive closure operator TC {\displaystyle \operatorname {TC} } used to form formulas of the
Fixed-point_logic
Partially ordered set in which all subsets have both a supremum and infimum
connection from the relation, which then leads to two dually isomorphic closure systems. Closure systems are intersection-closed families of sets. When ordered
Complete_lattice
Analog of Grothendieck topology
sheaves. A Lawvere–Tierney topology is also sometimes also called a local operator or coverage or topology or geometric modality. They were introduced by
Lawvere–Tierney_topology
In mathematics, the symmetric closure of a binary relation R {\displaystyle R} on a set X {\displaystyle X} is the smallest symmetric relation on X {\displaystyle
Symmetric_closure
Mathematical system of orderings or sets
of a closure operator τ {\displaystyle \tau } that maps any subset of U {\displaystyle U} to its minimal closed superset. To be a closure operator, τ {\displaystyle
Antimatroid
Structure describing a notion of "nearness" between subsets
{\displaystyle A\mapsto \left\{x:\{x\}\;\delta \;A\right\}} be a Kuratowski closure operator. If the proximity space is separated, the resulting topology is Hausdorff
Proximity_space
Branch of functional analysis
algebra of continuous linear operators. In particular, it is a set of operators with both algebraic and topological closure properties. In some disciplines
Operator_algebra
Branch of logic
of a linear order, first-order logic with a commutative, transitive closure operator added yields L, problems solvable in logarithmic space. In the presence
Finite_model_theory
Inclusion of one mathematical structure in another, preserving properties of interest
This allows defining new local structures in the category (such as a closure operator). In a concrete category, an embedding is a morphism f : A → B {\displaystyle
Embedding
Glossary of terms used in branch of mathematics
ordered set in which every chain has a least upper bound. Closure operator. A closure operator on the poset P is a function C : P → P that is monotone,
Glossary_of_order_theory
Theory in functional analysis
space H, the compact operators are the closure of the finite rank operators in the uniform operator topology. In general, operators on infinite-dimensional
Spectral theory of compact operators
Spectral_theory_of_compact_operators
In geometry, set whose intersection with every line is a single line segment
convex sets containing A. The convex-hull operator Conv() has the characteristic properties of a closure operator: extensive: S ⊆ Conv(S), non-decreasing:
Convex_set
Topics referred to by the same term
Moore family may refer to: Collections of sets that characterize a closure operator, according to mathematician E. H. Moore's theorem in set theory. The
Moore_family
Algebraic concept in measure theory, also referred to as an algebra of sets
closed under the closure operator of T {\displaystyle {\mathcal {T}}} or equivalently under the interior operator i.e. the closure and interior of every
Field_of_sets
which contain it. An element of the closure of a set S is a point of closure of S. Closure operator See Kuratowski closure axioms. Coarser topology If X is
Glossary_of_general_topology
Complexity class (logarithmic space)
expressible in first-order logic with an added commutative transitive closure operator (in graph theoretical terms, this turns every connected component into
L_(complexity)
Nonabelian group of order 120
Galois connection between subgroups of 2I and subgroups of I, where the closure operator on subgroups of 2I is multiplication by { ±1 }. − 1 {\displaystyle
Binary_icosahedral_group
analysis, the von Neumann bicommutant theorem relates the closure of a set of bounded operators on a Hilbert space in certain topologies to the bicommutant
Von Neumann bicommutant theorem
Von_Neumann_bicommutant_theorem
Computer science concept
structures gains no additional power from the addition of a transitive closure operator over relations of relations (i.e., over the second-order variables)
Polynomial_hierarchy
Set whose pairs have minima and maxima
Pointless topology Lattice of subgroups Spectral space Invariant subspace Closure operator Abstract interpretation Subsumption lattice Fuzzy set theory Algebraizations
Lattice_(order)
Branch of metaphysics
that i is isomorphic to the interior operator of topology. Hence the dual of i, the topological closure operator c, can be defined in terms of i, and
Mereotopology
Computational complexity
languages expressible in first-order logic with an added transitive closure operator. The class NL is closed under the operations complementation, union
NL_(complexity)
dump. A program closure is equivalent to composing its body with the dump in continuation form (closure(f,D)(x) = D(f(x)) ). The J operator composes a function
J_operator
positive transitive closure logic, i.e. a logic where the transitive closure operator is not used under the scope of negation. Then it can be proved that
Pebble_automaton
transitive closure operator, which can be applied to an arbitrary binary predicate. The second example is similar. It defines a LISP-like mapping operator, which
HiLog
Operations in formal language theory
( L ) = L {\displaystyle \operatorname {Pref} (L)=L} . The prefix closure operator is idempotent: Pref ( Pref ( L ) ) = Pref ( L ) {\displaystyle
String_operations
order of functions Galois connection Order embedding Order isomorphism Closure operator Functions that preserve suprema/infima Dedekind completion Ideal completion
List_of_order_theory_topics
Notation for ranges or parent directory
the .. operator represents a range not including the end value. Perl and Ruby overload the ".." operator in scalar context as a flip-flop operator - a stateful
Ellipsis (computer programming)
Ellipsis_(computer_programming)
Closure of Greek public broadcaster
channel, ERT3, which did not stop broadcasting from the day of the operator's closure, reappeared on ERT's nationwide frequencies with a new programme on
Closure_of_ERT
Finite topological space with two points, only one of which is closed
∅ = { } {\displaystyle \varnothing =\{\,\}} is the empty set). The closure operator on S is determined by { 0 } ¯ = { 0 } , { 1 } ¯ = { 0 , 1 } . {\displaystyle
Sierpiński_space
Conjugate transpose of an operator in infinite dimensions
specifically in operator theory, each linear operator A {\displaystyle A} on an inner product space defines a Hermitian adjoint (or adjoint) operator A ∗ {\displaystyle
Hermitian_adjoint
Topics referred to by the same term
Boolean algebra is a Boolean algebra equipped with both a closure operator and a derivative operator generalizing T1 topological spaces and may be considered
Topological_Boolean_algebra
Locally convex topology on function spaces
topology (WOT). Because of this, the closure of a convex set of operators in the WOT is the same as the closure of that set in the SOT. This language
Strong_operator_topology
Functional analysis concept
precisely the closure of finite-rank operators (representable by finite-dimensional matrices) in the topology induced by the operator norm. As such,
Compact operator on Hilbert space
Compact_operator_on_Hilbert_space
Ideal that maps to zero a subset of a module
of M {\displaystyle M} and N {\displaystyle N} , and the associated closure operator is stronger than the span. In particular: annihilators are submodules
Annihilator_(ring_theory)
Operator shifting particles and fields by a certain amount in a certain direction
In quantum mechanics, a translation operator is defined as an operator which shifts particles and fields by a certain amount in a certain direction. It
Translation operator (quantum mechanics)
Translation_operator_(quantum_mechanics)
Property of topological spaces stronger than normality
{cl} (\bigcup _{j\neq i}F_{j})=\emptyset } , with cl denoting the closure operator in X, in other words if the family of F i {\displaystyle F_{i}} is
Collectionwise_normal_space
non-decreasing order. However some authors prefer the associated closure operators { k i } i ∈ I {\displaystyle \{k_{i}\}_{i\in I}} to be in non-decreasing
Polytopological_space
Mapping of mathematical formulas to a particular meaning
\langle B\rangle _{\mathcal {A}}} . The operator ⟨ ⟩ {\displaystyle \langle \rangle } is a finitary closure operator on the set of subsets of | A | {\displaystyle
Structure (mathematical logic)
Structure_(mathematical_logic)
In mathematics, singular integral operators on closed curves arise in problems in analysis, in particular complex analysis and harmonic analysis. The
Singular integral operators on closed curves
Singular_integral_operators_on_closed_curves
operator in ( A − ) 1 {\displaystyle (A^{-})_{1}} , then h {\displaystyle h} is in the strong-operator closure of the set of self-adjoint operators in
Kaplansky_density_theorem
mathematics, especially operator theory, a convexoid operator is a bounded linear operator T on a complex Hilbert space H such that the closure of the numerical
Convexoid_operator
Double cover Lie group of the special orthogonal group
and the preimage of a point group is a subgroup of Spin(n), and the closure operator on subgroups of Spin(n) is multiplication by {±1}. These may be called
Spin_group
Bounded operators with sub-unit norm
{\displaystyle {\mathcal {D}}_{T*}} are the closure of the ranges Ran(DT) and Ran(DT*) respectively. The positive operator DT induces an inner product on H {\displaystyle
Contraction_(operator_theory)
Type of formal logic
originally designed to capture the properties of the interior and closure operators of topology. Texts on modal logic typically do little more than mention
Modal_logic
Branch of mathematics
abstract language, there is a Galois connection, giving rise to two closure operators; they can be identified, and naturally play a basic role in the theory;
Algebraic_geometry
Existence and cardinality of models of logical theories
. Iterating F {\displaystyle F} countably many times results in a closure operator F ω {\displaystyle F^{\omega }} . Taking an arbitrary subset A ⊆ M
Löwenheim–Skolem_theorem
Person specifically employed to operate a manually operated elevator
departments of the store. In many cases the operator had the responsibility of ensuring safe loading, door closure and synchronizing the floor of the elevator
Elevator_operator
American mathematician (1862–1932)
After 1906, he turned to the foundations of analysis. The concept of a closure operator first appeared in his 1910 Introduction to a form of general analysis
E._H._Moore
Mathematical use of "for all" and "there exists"
corresponding closure operator on the set of formulas, by adding, for each free variable x, a quantifier to bind x. For example, the existential closure of the
Quantifier_(logic)
Relationship between two functors abstracting many common constructions
upgrading to that status closure operators may indicate the presence of adjunctions, as corresponding monads (cf. the Kuratowski closure axioms) a very general
Adjoint_functors
Weak topology on function spaces
Hilbert space H). Because of this fact, the closure of a convex set of operators in the WOT is the same as the closure of that set in the SOT. It follows from
Weak_operator_topology
CLOSURE OPERATOR
CLOSURE OPERATOR
Boy/Male
English
From tbe riverbank enclosure.
Girl/Female
Arabic, Muslim
Censure
Girl/Female
Muslim
Closer, Nearer
Girl/Female
Arabic, Indian, Muslim
Closer; Nearer
Boy/Male
Egyptian
Close.
Girl/Female
Muslim
Censure
Boy/Male
Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Telugu
Close
Boy/Male
Hindu, Indian
Name of Closer
Boy/Male
English
From the rough enclosure.
Boy/Male
British, English, Japanese
Enclosure
Boy/Male
Tamil
Close
Boy/Male
Danish, German, Swedish
High Son; Enclosure
Boy/Male
English
From the enclosure.
Boy/Male
American, Australian, British, English
From the Enclosure
Girl/Female
Arabic, Muslim
Censure
Boy/Male
British, English
From the Enclosure
Boy/Male
English Armenian
From the hedged enclosure.
Surname or Lastname
English
English : topographic name for someone who lived by an enclosure of some sort, such as a courtyard set back from the main street or a farmyard, from Middle English clos(e) (Old French clos, from Late Latin clausum, past participle of claudere ‘to close’).English : from Middle English clos(e) ‘secret’, applied as a nickname for a reserved or secretive person.Dutch : variant of Claeys.Altered spelling of German Klose.
Boy/Male
English
From the enclosure.
Boy/Male
Hindu, Indian
Close
CLOSURE OPERATOR
CLOSURE OPERATOR
Girl/Female
Hebrew
Gift from God.
Boy/Male
Tamil
Sakyasinha | ஸகà¯à®¯à®¾à®¸à¯€à®¨à¯à®¹à®¾Â
Lord Buddha
Girl/Female
American, Australian, British, English, Greek, Latin
Maiden; Nature Name
Boy/Male
Arabic, Muslim
Praised; Glorified; Person Commended
Boy/Male
American, Arabic, Australian, British, Chinese, Christian, English, Hebrew
God Remembers; He will Laugh; Variant of Zachariah and Zachary; Laughter; The Lord has Remembered
Girl/Female
French Greek
Serpentine.
Boy/Male
Hindu
Pillana grovi ni darinchina vadu who is none other than Lord Krishna
Boy/Male
Hindu, Indian, Traditional
Sun
Boy/Male
Hindu, Indian, Punjabi, Sikh
Blessed
Surname or Lastname
English (chiefly Lancashire)
English (chiefly Lancashire) : from Middle English sede ‘seed’; a metonymic occupational name for a gardener or husbandman, or a nickname for a small person.English (chiefly Lancashire) : from a late Old English personal name, Sida, a post-Conquest short form of compound names formed with sidu ‘custom’, ‘manner’; ‘morality’, ‘purity’ as the first element.
CLOSURE OPERATOR
CLOSURE OPERATOR
CLOSURE OPERATOR
CLOSURE OPERATOR
CLOSURE OPERATOR
v. t.
That which incloses or confines; an inclosure.
n.
To stop, or fill up, as an opening; to shut; as, to close the eyes; to close a door.
v. t.
A method of putting an end to debate and securing an immediate vote upon a measure before a legislative body. It is similar in effect to the previous question. It was first introduced into the British House of Commons in 1882. The French word cloture was originally applied to this proceeding.
v. t.
Difficult to obtain; as, money is close.
v. t.
Short; as, to cut grass or hair close.
n.
Inclosure. See Inclosure.
n.
See Closure, 5.
v. t.
Nearly equal; almost evenly balanced; as, a close vote.
n.
One who, or that which, closes; specifically, a boot closer. See under Boot.
n.
A close or inclosure; the compass of a manor.
v. t.
A conclusion; an end.
n.
One of two great circles intersecting at right angles in the poles of the equator. One of them passes through the equinoctial points, and hence is denominated the equinoctial colure; the other intersects the equator at the distance of 90¡ from the former, and is called the solstitial colure.
v. t.
Strictly confined; carefully quarded; as, a close prisoner.
v. t.
Shut fast; closed; tight; as, a close box.
v. t.
The act of shutting; a closing; as, the closure of a chink.
v. t.
Concise; to the point; as, close reasoning.
adv.
In a close manner.
n.
To bring to an end or period; to conclude; to complete; to finish; to end; to consummate; as, to close a bargain; to close a course of instruction.
n.
A close, or inclosure; a croft.
v. t.
Narrow; confined; as, a close alley; close quarters.