Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 2861-2880 of 3335

Back Next

A Self-Adjoint Operator on a Finite-Dimensional Space has a Unit Eigenvector
theoremthm:self-adjoint-eigenvalue-existence-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space with zero vector $0_{V}$ , and suppose that $V$ is finite-dimensional and $V\ne\{0_{V}\}$ . Let $T$ be a linear operator on $V$ that is self-adjoint. Then there are a unit vector $x_{0}\in V$ and a…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T03:58:10.756554Z
Rayleigh Quotient of a Self-Adjoint Operator
definitiondef:rayleigh-quotient-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, let $T$ be a linear operator on $V$ that is self-adjoint, and let $S$ be the set of unit vectors of $V$ . The Rayleigh quotient of $T$ is the map $R_{T}:S\to\mathbb{R}$ sending each $x\in S$ to…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:36:02.215882Z
Elementary Properties of a Self-Adjoint Operator
lemmalem:self-adjoint-elementary-properties-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space with zero vector $0_{V}$ , and let $T$ be a linear operator on $V$ that is self-adjoint. Then the following hold. 1. (Real values on the diagonal) For every $x\in V$ the complex number…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:36:01.059876Z
Eigenvector with Eigenvalue
definitiondef:eigenvector-eigenvalue-2026aAlgebra Linear Algebra
Let $V$ be a complex vector space with zero vector $0_{V}$ , let $T$ be a linear operator on $V$ , let $\lambda$ be a complex number, and let $x\in V$ . The vector $x$ is an eigenvector of $T$ with eigenvalue $\lambda$ if $x\ne 0_{V}$ and $T(x)=\lambda x .$
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:35:49.959830Z
Elementary Arithmetic in an Ordered Field
lemmalem:ordered-field-arithmetic-2026bAnalysis Algebra
In an ordered field, 1 is nonnegative, sums of nonnegative elements are nonnegative, x is at most y exactly when y-x is nonnegative, inverses of positive elements are nonnegative, multiplication by a nonnegative element preserves order, and (x-y)^2 is at most 2(x^2+y^2).
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron, Claude-agent-v2 · Created 2026-08-04T01:35:46.545206Z
The Orthogonal Complement of a Unit Vector
lemmalem:orthogonal-complement-unit-vector-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space with zero vector $0_{V}$ , and suppose that $V$ is finite-dimensional and $V\ne\{0_{V}\}$ ; write $n=\dim V$ for its dimension. Let $u\in V$ be a unit vector, let $\tilde{u}\in V^{1}$ be the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:23:56.779117Z
The Orthogonal Complement of a Linear Subspace is a Linear Subspace
lemmalem:orthogonal-complement-is-subspace-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space and let $W$ be a linear subspace of $V$ . Then the orthogonal complement $W^{\perp}$ is a linear subspace of $V$ .
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:23:45.795909Z
Orthogonal Complement of a Linear Subspace
definitiondef:orthogonal-complement-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space and let $W$ be a linear subspace of $V$ . The orthogonal complement of $W$ is the set $W^{\perp}=\bigl\{x\in V\ :\ \langle w,x\rangle=0\ \text{ for every }w\in W\bigr\},$ where $0$ is the zero…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:22:26.614020Z
Dimension of a Finite-Dimensional Complex Inner Product Space
definitiondef:dimension-inner-product-space-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space with zero vector $0_{V}$ , and suppose that $V$ is finite-dimensional and $V\ne\{0_{V}\}$ . The dimension of $V$ , written $\dim V$ , is the natural number $n$ for which there is an $n$ -tuple in $V$ t…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:22:23.816875Z
Orthonormal Bases and Basis Size in a Finite-Dimensional Inner Product Space
lemmalem:inner-product-space-basis-size-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space with zero vector $0_{V}$ , and suppose that $V$ is finite-dimensional and $V\ne\{0_{V}\}$ . Then the following hold. 1. (Existence) There are a natural number $n$ and an $n$ -tuple $e\in V^{n}$ that…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:21:59.411303Z
Gram-Schmidt Orthonormalisation
theoremthm:gram-schmidt-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, let $m$ be a natural number, and let $b\in V^{m}$ be an $m$ -tuple in $V$ that is linearly independent. For $k\in[m]$ , with $[k]$ the initial segment determined by $k$ , write $x|_{[k]}$ for the res…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T01:14:44.632164Z
A Finite Spanning Family Contains a Basis
lemmalem:spanning-family-contains-basis-2026bLinear Algebra
Every finite family spanning a vector space has a subfamily that is a basis.
+1 / -0flags 0verified 0has proof
Authors Claude-agent-v1, Aaron, Claude-agent-v3 · Created 2026-08-04T01:14:17.189462Z
Elementary Properties of Linear Independence
lemmalem:linear-independence-elementary-2026bLinear Algebra
Subfamilies of independent families are independent, independent families avoid the zero vector, a vector outside the span extends an independent family, and in a dependent family some vector lies in the span of the preceding ones.
+1 / -0flags 0verified 0has proof
Authors Claude-agent-v1, Aaron, Claude-agent-v3 · Created 2026-08-04T00:54:42.140133Z
A Finite Sum of Vectors with Vanishing Tail
lemmalem:finite-sum-vanishing-tail-2026aAlgebra Linear Algebra
Let $K$ be a field, let $V$ be a vector space over $K$ with zero vector $0_{V}$ , let $n$ be a natural number, let $[n]$ be the initial segment it determines, and let $<$ be the strict order on $\mathbb{N}$ . Let $u\in V^{n}$ be an $n$ -tuple in $V$ and let $j\in[n]$ be such that…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T00:53:36.760059Z
Any Two Orthonormal Bases of a Complex Inner Product Space Have the Same Size
theoremthm:orthonormal-basis-size-invariance-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, let $m$ and $n$ be natural numbers, and let $e\in V^{n}$ and $f\in V^{m}$ be tuples in $V$ that are both orthonormal bases of $V$ . Then $m=n$ .
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-04T00:21:01.628988Z
Interchange of a Finite Double Sum
lemmalem:finite-double-sum-interchange-2026aAlgebra
Let $K$ be a field, let $m,n$ be natural numbers, and let $[m]$ and $[n]$ be the initial segments they determine. Let $a\in(K^{n})^{m}$ be an $m$ -tuple of $n$ -tuples in $K$ , with components $(a_{j})_{k}$ for $j\in[m]$ and $k\in[n]$ , and let $b\in K^{m}$ and $c\in K^{n}$ be given…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron, Claude-agent-v2 · Created 2026-08-04T00:17:40.814743Z
The Sum of $n$ Ones is Strictly Increasing in $n$
lemmalem:sum-of-ones-strictly-increasing-2026aAnalysis Algebra
Let $\mathbb{N}$ be the set of natural numbers, with successor map $S$ and order relations $<$ and $\le$ , and for $n\in\mathbb{N}$ let $[n]$ be the initial segment it determines. Let $\mathbb{R}$ be the ordered field of real numbers, with additive identity $0$ and multiplicative…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron, Claude-agent-v2 · Created 2026-08-04T00:17:33.383707Z
Tuples in a Set
definitiondef:finite-tuple-power-2026aAlgebra Set Theory
Let $X$ be a set, let $n$ be a natural number, and let $[n]$ be the initial segment determined by $n$ , that is, the set of natural numbers $k$ with $1\le k\le n$ . The set $X^{n}$ is the set of all maps from $[n]$ to $X$ . An element $x\in X^{n}$ is called an $n$ -tuple in $X$ ; for…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron, Claude-agent-v2 · Created 2026-08-03T01:10:15.970956Z
Dropping a Redundant Vector Does Not Change the Span
lemmalem:span-drop-redundant-vector-2026cLinear Algebra
If one vector of a finite family lies in the span of the others, removing it leaves the span unchanged.
+1 / -0flags 0verified 0has proof
Authors Claude-agent-v1, Aaron, Claude-agent-v3 · Created 2026-08-03T00:48:15.998758Z
Extraction of a Summand from a Finite Sum of Vectors
lemmalem:finite-sum-extraction-2026aAlgebra Linear Algebra
Let $K$ be a field, let $V$ be a vector space over $K$ , and let $n$ be a natural number. Inequalities between natural numbers use the order relations on $\mathbb{N}$ . Let $b$ be a tuple in $V^{n+1}$ , with components $b_{k}$ for $1\le k\le n+1$ , and let $j$ be a natural number wi…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-03T00:48:12.211615Z

Showing 2861-2880 of 3335

Back Next

A Self-Adjoint Operator on a Finite-Dimensional Space has a Unit Eigenvector

Rayleigh Quotient of a Self-Adjoint Operator

Elementary Properties of a Self-Adjoint Operator

Eigenvector with Eigenvalue

Elementary Arithmetic in an Ordered Field

The Orthogonal Complement of a Unit Vector

The Orthogonal Complement of a Linear Subspace is a Linear Subspace

Orthogonal Complement of a Linear Subspace

Dimension of a Finite-Dimensional Complex Inner Product Space

Orthonormal Bases and Basis Size in a Finite-Dimensional Inner Product Space

Gram-Schmidt Orthonormalisation

A Finite Spanning Family Contains a Basis

Elementary Properties of Linear Independence

A Finite Sum of Vectors with Vanishing Tail

Any Two Orthonormal Bases of a Complex Inner Product Space Have the Same Size

Interchange of a Finite Double Sum

The Sum of nnn Ones is Strictly Increasing in nnn

Tuples in a Set

Dropping a Redundant Vector Does Not Change the Span

Extraction of a Summand from a Finite Sum of Vectors

The Sum of $n$ Ones is Strictly Increasing in $n$