翻訳と辞書
Words near each other
・ Poskin, Wisconsin
・ Poskota
・ Poskurice
・ Poskwitów
・ Poskwitów Stary
・ Poskær Stenhus
・ Posle mene (song)
・ Posle mene što ti e gajle
・ Poslednie Tanki V Parizhe
・ Posledniya Izvestia
・ Posledniye Novosti
・ Poslednja Igra Leptira
・ Poslednja mladost u Jugoslaviji
・ Poslední mohykán
・ Positive education
Positive element
・ Positive end-expiratory pressure
・ Positive energy theorem
・ Positive environmentalism
・ Positive feedback
・ Positive Force
・ Positive form
・ Positive Hack Days
・ Positive hardcore
・ Positive harmonic function
・ Positive Heroes
・ Positive Hits
・ Positive illusions
・ Positive Infinity
・ Positive Infinity (disambiguation)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Positive element : ウィキペディア英語版
Positive element

In mathematics, especially functional analysis, a self-adjoint (or Hermitian) element A of a C
*-algebra
\mathcal is called positive if its spectrum \sigma(A) consists of non-negative real numbers. Moreover, an element A of a C
*-algebra \mathcal is positive if and only if there is some B in \mathcal such that A = B^
* B. A positive element is self-adjoint and thus normal.
If T is a bounded linear operator on a complex Hilbert space H, then this notion coincides with the condition that \langle Tx,x \rangle is non-negative for every vector x in H. Note that \langle Tx,x \rangle is real for every x in H if and only if T is self-adjoint. Hence, a positive operator on a Hilbert space is always self-adjoint (and a self-adjoint ''everywhere defined'' operator on a Hilbert space is always bounded because of the Hellinger-Toeplitz theorem).
The set of positive elements of a C
*-algebra forms a convex cone.
== Positive and positive definite operators ==
A bounded linear operator P on an inner product space V is said to be ''positive'' (or ''positive semidefinite'') if P = S^
*S for some bounded operator S on V, and is said to be ''positive definite'' if S is also non-singular.

(I) The following conditions for a bounded operator P on V to be positive semidefinite are equivalent:
* P = S^
*S for some bounded operator S on V,
* P = T^2 for some self-adjoint operator T on V,
* P is self-adjoint and \langle Pu,u \rangle \geq 0, \forall u \in V.
(II) The following conditions for a bounded operator P on V to be positive definite are equivalent:
* P = S^
*S for some non-singular bounded operator S on V,
* P = T^2 for some non-singular self-adjoint operator T on V,
* P is self adjoint and \langle Pu,u \rangle > 0, \forall u \neq 0 in V.
(III) A complex matrix A = \begin a & b \\ c & d \end represents a positive (semi)definite operator if and only if A is Hermitian (or self-adjoint) and a, d and \det(A) = ad - bc are (strictly) positive real numbers.
Let the Banach spaces X and Y be ordered vector spaces and let T \colon X \to Y be a linear operator.
The operator T is called ''positive'' if Tx \geq 0 for all x \geq 0 in X. For a positive operator T we write T \geq 0.
A positive operator maps the positive cone of X onto a subset of the positive cone of Y. If Y is a field then T is called a positive linear functional.
Many important operators are positive. For example:
* the Laplace operators -\Delta and -\frac are positive,
* the limit and Banach limit functionals are positive,
* the identity and absolute value operators are positive,
* the integral operator with a positive measure is positive.
The Laplace operator is an example of an unbounded positive linear operator. Hence, by the Hellinger-Toeplitz theorem it cannot be everywhere defined.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Positive element」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.