06.06.2013 Views

Theory of Statistics - George Mason University

Theory of Statistics - George Mason University

Theory of Statistics - George Mason University

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

630 0 Statistical Mathematics<br />

0.0.4.2 Subsets <strong>of</strong> Linear Spaces<br />

Interesting subsets <strong>of</strong> a given linear space Ω are formed as {x ; x ∈ Ω, g(x) =<br />

0}, for example, the plane in IR 3 defined by c1x1 + c2x2 + c3x3 = c0 for some<br />

constants c0, c1, c2, c3 ∈ IR and where (x1, x2, x3) ∈ IR 3 .<br />

Many subsets <strong>of</strong> IR d are <strong>of</strong> interest because <strong>of</strong> their correspondence to<br />

familiar geometric objects, such as lines, planes, and structures <strong>of</strong> finite extent<br />

such as cubes, and spheres. An object in higher dimensions that is analogous<br />

to a common object in IR 3 is <strong>of</strong>ten called by the name <strong>of</strong> the three-dimensional<br />

object preceded by “hyper-”; for example, hypersphere.<br />

A subset <strong>of</strong> a linear space may or may not be a linear space. For example,<br />

a hyperplane is a linear space only if it goes through the origin. Other subsets<br />

<strong>of</strong> a linear space may have very little in common with a linear space, for<br />

example, a hypersphere.<br />

A hyperplane in IR d is <strong>of</strong>ten <strong>of</strong> interest in statistics because <strong>of</strong> its use<br />

as a model for how a random variable is affected by covariates. Such a linear<br />

manifold in IR d is determined by d points that have the property <strong>of</strong> affine independence.<br />

A set <strong>of</strong> elements x1, . . ., xd ∈ Ω are said to be affinely independent<br />

if x2 − x1, . . ., xd − x1 are linearly independent. Affine independence in this<br />

case insures that the points do not lie in a set <strong>of</strong> less than d −1 dimensions.<br />

0.0.4.3 Inner Products<br />

We now define a useful real-valued binary function on linear spaces.<br />

Definition 0.0.7 (inner product)<br />

If Ω is a linear space, an inner product on Ω is a real-valued function, denoted<br />

by 〈x, y〉 for all x and y in Ω, that satisfies the following three conditions for<br />

all x, y, and z in Ω.<br />

1. Nonnegativity and mapping <strong>of</strong> the identity:<br />

if x = 0, then 〈x, x〉 > 0 and 〈0, x〉 = 〈x, 0〉 = 〈0, 0〉 = 0.<br />

2. Commutativity:<br />

〈x, y〉 = 〈y, x〉.<br />

3. Factoring <strong>of</strong> scalar multiplication in inner products:<br />

〈ax, y〉 = a〈x, y〉 for real a.<br />

4. Relation <strong>of</strong> vector addition to addition <strong>of</strong> inner products:<br />

〈x + y, z〉 = 〈x, z〉 + 〈y, z〉.<br />

Inner products are <strong>of</strong>ten called dot products, although “dot product” is<br />

<strong>of</strong>ten used to mean a specific inner product.<br />

A linear space together with an inner product, (Ω, 〈·, ·〉), is called an inner<br />

product space.<br />

A useful property <strong>of</strong> inner products is the Cauchy-Schwarz inequality:<br />

<strong>Theory</strong> <strong>of</strong> <strong>Statistics</strong> c○2000–2013 James E. Gentle

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!