Math 2.0

Operator theory Definition

Positive linear operator

Builds on Vector spacePartial orderLinear map

Definition

Let XX and YY be real vector spaces, each with a preorder ≤\le, such as a partial order, compatible with the vector operations. Compatible means that x≤yx \le y implies x+z≤y+zx + z \le y + z and tx≤tytx \le ty for all vectors zz and all real t≥0t \ge 0. A linear map L ⁣:X→YL \colon X \to Y is a positive linear operator if x≥0x \ge 0 implies Lx≥0L x \ge 0 for every x∈Xx \in X.

Remarks

Equivalently, LL is monotone: x≤yx \le y implies Lx≤LyL x \le L y, since Ly−Lx=L(y−x)L y - L x = L(y - x).

Example: on C[0,1]C[0, 1] with the pointwise order f≤gf \le g when f(x)≤g(x)f(x) \le g(x) for all xx, the Bernstein operator Bnf(x)=∑k=0n(nk)xk(1−x)n−kf(k/n)B_n f(x) = \sum_{k=0}^{n} \binom{n}{k} x^k (1 - x)^{n-k} f(k/n) is positive, because all weights (nk)xk(1−x)n−k\binom{n}{k} x^k (1 - x)^{n-k} are nonnegative on [0,1][0, 1].

Non-example: differentiation D ⁣:C1[0,1]→C[0,1]D \colon C^1[0, 1] \to C[0, 1] is linear but not positive. The function f(x)=1−xf(x) = 1 - x satisfies f≥0f \ge 0, while Df=−1<0D f = -1 < 0.

For a compact Hausdorff space KK and a positive linear operator L ⁣:C(K)→C(K)L \colon C(K) \to C(K) with the uniform norm, LL is bounded with ∥L∥=∥L1∥\norm{L} = \norm{L 1}. Indeed −∥f∥⋅1≤f≤∥f∥⋅1-\norm{f} \cdot 1 \le f \le \norm{f} \cdot 1 gives ∣Lf∣≤∥f∥ L1\abs{L f} \le \norm{f} \, L 1. A positive linear functional is the case Y=ℝY = \R; on C(K)C(K) these are the integrals against finite positive measures.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Linear map concept
  2. Partial order concept
  3. Vector space concept
  4. Positive linear operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Positive_linear_operator
About this page
Tag2AKFNAGF1N
URIm2://2AKFNAGF1N
Kinddefinition
WritingW0 stub
MSC47B65, 41A36, 46A40
DefinesPositive linear operator
UsesVector space, Partial order, Linear map

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.