Namespaces
Variants
Actions

Difference between revisions of "Semi-definite form"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (better)
m (fix)
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A [[Quadratic form|quadratic form]] $q$ on a [[vector space]] over an [[ordered field]] for which the set of values consists of either only non-negative field elements or only non-positive field elements. In the former case the form is said to be a non-negative definite or positive semi-definite form ($q(x) \ge 0$ for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084060/s0840603.png" />), in the latter case — a non-positive definite or negative semi-definite quadratic form ($q(x) \le 0$). Most frequently one considers semi-definite forms over the field $\mathbb R$ of [[real number]]s. For the field $\mathbb C$ of [[complex number]]s a similar definition yields the concept of semi-definite Hermitian quadratic forms (see [[Hermitian form|Hermitian form]]).  If in addition $q(x) \ne 0$ for $x \ne 0$ the form is '''definite'''.
+
{{TEX|done}}{{MSC|15A63}}
  
If $b$ is a symmetric bilinear (cf. [[Bilinear form|Bilinear form]]) or Hermitian form such that $q(x) = b(x,x)$ is a semi-definite form, then $b$ may be called a (non-negative or non-positive) semi-definite form. If $q$ is a quadratic or Hermitian semi-definite form on a vector space $V$, then $N = \{x \in V : q(x) = 0\}$ is a subspace, identical with the kernel of $q$, and the given form naturally induces a positive-definite or negative-definite form on $V/N$.
+
A [[quadratic form]] $q$ on a [[vector space]] over an [[ordered field]] for which the set of values consists of either only non-negative field elements or only non-positive field elements. In the former case the form is said to be a non-negative definite or positive semi-definite form ($q(x) \ge 0$ for all $x$), in the latter case — a non-positive definite or negative semi-definite quadratic form ($q(x) \le 0$). Most frequently one considers semi-definite forms over the field $\mathbb R$ of [[real number]]s. For the field $\mathbb C$ of [[complex number]]s a similar definition yields the concept of semi-definite Hermitian quadratic forms (see [[Hermitian form]]).  If in addition $q(x) \ne 0$ for $x \ne 0$ the form is '''definite'''.
  
 
+
If $b$ is a symmetric bilinear (cf. [[Bilinear form]]) or Hermitian form such that $q(x) = b(x,x)$ is a semi-definite form, then $b$ may be called a (non-negative or non-positive) semi-definite form. If $q$ is a quadratic or Hermitian semi-definite form on a vector space $V$, then $N = \{x \in V : q(x) = 0\}$ is a subspace, identical with the kernel of $q$, and the given form naturally induces a positive-definite or negative-definite form on $V/N$.
 
 
====Comments====
 

Latest revision as of 17:54, 18 January 2016

2020 Mathematics Subject Classification: Primary: 15A63 [MSN][ZBL]

A quadratic form $q$ on a vector space over an ordered field for which the set of values consists of either only non-negative field elements or only non-positive field elements. In the former case the form is said to be a non-negative definite or positive semi-definite form ($q(x) \ge 0$ for all $x$), in the latter case — a non-positive definite or negative semi-definite quadratic form ($q(x) \le 0$). Most frequently one considers semi-definite forms over the field $\mathbb R$ of real numbers. For the field $\mathbb C$ of complex numbers a similar definition yields the concept of semi-definite Hermitian quadratic forms (see Hermitian form). If in addition $q(x) \ne 0$ for $x \ne 0$ the form is definite.

If $b$ is a symmetric bilinear (cf. Bilinear form) or Hermitian form such that $q(x) = b(x,x)$ is a semi-definite form, then $b$ may be called a (non-negative or non-positive) semi-definite form. If $q$ is a quadratic or Hermitian semi-definite form on a vector space $V$, then $N = \{x \in V : q(x) = 0\}$ is a subspace, identical with the kernel of $q$, and the given form naturally induces a positive-definite or negative-definite form on $V/N$.

How to Cite This Entry:
Semi-definite form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Semi-definite_form&oldid=30214
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article