Dimensional operator

Dimensional operator

In mathematics, specifically set theory, a dimensional operator on a set E is a function from the subsets of E to the subsets of E.

Definition

If the power set of E is denoted P(E) then a dimensional operator on E is a map

d:P(E)\rightarrow P(E)\,

that satisfies the following properties for S,T ∈ P(E):

  1. S ⊆ d(S);
  2. d(S) = d(d(S)) (d is idempotent);
  3. if S ⊆ T then d(S) ⊆ d(T);
  4. if Ω is the set of finite subsets of S then d(S) = ∪A∈Ωd(A);
  5. if x ∈ E and y ∈ d(S ∪ {x}) \ d(S), then x ∈ d(S ∪ {y}).

The final property is known as the exchange axiom.[1]

Examples

  1. For any set E the identity map on P(E) is a dimensional operator.
  2. The map which takes any subset S of E to E itself is a dimensional operator on E.

References

  1. ^ Julio R. Bastida, Field Extensions and Galois Theory, Addison-Wesley Publishing Company, 1984, pp. 212–213.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Operator (mathematics) — This article is about operators in mathematics. For other uses, see Operator (disambiguation). In basic mathematics, an operator is a symbol or function representing a mathematical operation. In terms of vector spaces, an operator is a mapping… …   Wikipedia

  • Operator norm — In mathematics, the operator norm is a means to measure the size of certain linear operators. Formally, it is a norm defined on the space of bounded linear operators between two given normed vector spaces. Contents 1 Introduction and definition 2 …   Wikipedia

  • Operator K-theory — In mathematics, operator K theory is a variant of K theory on the category of Banach algebras (In most applications, these Banach algebras are C* algebras). Its basic feature that distinguishes it from algebraic K theory is that it has a Bott… …   Wikipedia

  • Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… …   Wikipedia

  • Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… …   Wikipedia

  • Ornstein–Uhlenbeck operator — Not to be confused with Ornstein–Uhlenbeck process. In mathematics, the Ornstein–Uhlenbeck operator can be thought of as a generalization of the Laplace operator to an infinite dimensional setting. The Ornstein–Uhlenbeck operator plays a… …   Wikipedia

  • Normal operator — In mathematics, especially functional analysis, a normal operator on a complex Hilbert space H (or equivalently in a C* algebra) is a continuous linear operator that commutes with its hermitian adjoint N*: Normal operators are important because… …   Wikipedia

  • Compact operator — In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset of Y. Such an… …   Wikipedia

  • 't Hooft operator — In theoretical physics, a t Hooft operator, introduced by Gerard t Hooft in the 1978 paper On the phase transition towards permanent quark confinement is a dual version of the Wilson loop in which the electromagnetic potential A is replaced by… …   Wikipedia

  • Finite rank operator — In functional analysis, a finite rank operator is a bounded linear operator between Banach spaces whose range is finite dimensional. Finite rank operators on a Hilbert space A canonical form Finite rank operators are matrices (of finite size)… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”