Theorems

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

Showing 1001-1020 of 1431

Back Next

The Standard Basis of the Complex Coordinate Space is an Orthonormal Basis
lemmalem:standard-basis-cn-orthonormal-2026bAnalysis Linear Algebra
Let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , and let $\mathbb{C}^{n}$ be the complex coordinate space, which is a complex vector space by The Complex Coordinate Space is a Complex Vector Space and, together with the standard inner product…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:20:09.854836Z
Standard Basis Vectors of the Complex Coordinate Space
definitiondef:standard-basis-cn-2026aAlgebra Linear Algebra
Let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , let $\mathbb{C}^{n}$ be the complex coordinate space, and let $k\in[n]$ . The $k$ -th standard basis vector $e_{k}$ is the element of $\mathbb{C}^{n}$ whose $k$ -th component is $1$ and whose $j$ -th co…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:20:00.763293Z
Orthonormal Expansion and Parseval's Identity in Finite Dimensions
theoremthm:orthonormal-expansion-parseval-2026bAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space with induced norm $\lVert\cdot\rVert$ , let $n$ be a natural number, and let $e\in V^{n}$ be an $n$ -tuple in $V$ that is orthonormal, with components $e_{k}$ . Sums of vectors are finite sums in $V$ …
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:07:35.182805Z
Orthonormal Basis of a Complex Inner Product Space
definitiondef:orthonormal-basis-2026bAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , and let $e\in V^{n}$ be an $n$ -tuple in $V$ , that is, a map from $[n]$ to $V$ , with components $e_{k}$ . The tuple…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:07:19.382362Z
Elementary Properties of an Orthonormal Family
lemmalem:orthonormal-family-properties-2026bAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, with zero vector $0_{V}$ and induced norm $\lVert\cdot\rVert$ . Let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , and let $e\in V^{n}$ be an $n$ -tuple in $V$ that is…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:06:46.777362Z
Finite Basis of a Vector Space
definitiondef:finite-basis-2026aAlgebra Linear Algebra
Let $K$ be a field, let $V$ be a vector space over $K$ , let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , and let $e:[n]\to V$ be a map with values $e_{k}$ . The family $e$ is a basis of $V$ if it is linearly independent and spans $V$ .
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:06:35.458573Z
Orthonormal Family in a Complex Inner Product Space
definitiondef:orthonormal-family-2026bAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , and let $e\in V^{n}$ be an $n$ -tuple in $V$ , with components $e_{k}$ . The tuple $e$ is orthonormal if every…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:05:52.250190Z
Finite Family Spanning a Vector Space
definitiondef:spanning-finite-family-2026aAlgebra Linear Algebra
Let $K$ be a field, let $V$ be a vector space over $K$ , let $n$ be a natural number, let $[n]$ be the initial segment determined by $n$ , and let $v:[n]\to V$ be a map with values $v_{k}$ . The family $v$ spans $V$ if for every $u\in V$ there is a map $c:[n]\to K$ with…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:05:48.575449Z
Linearly Independent Finite Family
definitiondef:linear-independence-finite-family-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 determined by $n$ , and let $v:[n]\to V$ be a map with values $v_{k}$ . The family $v$ is linearly independent if the only map…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T20:05:45.262532Z
Properties of Finite Sums of Vectors
lemmalem:finite-sum-vector-properties-2026aAlgebra Linear Algebra
Let $K$ be a field and let $V$ be a vector space over $K$ with zero vector $0_{V}$ . Let $\mathbb{N}$ be the set of natural numbers with successor map $S$ as in that definition, ordered by the relation $\le$ of that definition, let $n\in\mathbb{N}$ , and let $[n]$ be the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T19:51:54.431028Z
Finite Sum Notation in a Vector Space
definitiondef:finite-sum-vector-space-2026aAlgebra Linear Algebra
Let $K$ be a field, let $V$ be a vector space over $K$ with vector addition $+$ , let $n$ be a natural number with successor map $S$ as in that definition, let $[n]$ be the initial segment determined by $n$ , and let $v:[n]\to V$ be a map, whose value at $k$ is written $v_{k}$ . Le…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T19:51:34.841888Z
Properties of the Absolute Value in an Ordered Field
lemmalem:absolute-value-properties-2026bAnalysis Algebra
Let $F$ be an ordered field and let $x,y,c\in F$ . Absolute values are as in that definition; $x-y$ abbreviates $x+(-y)$ and $x^{2}$ abbreviates $x\cdot x$ . For $s,t\in F$ we write $s<t$ to mean that $s\le t$ and $s\ne t$ . Then the following hold. 1. (Nonnegativity) $|x|$ equals…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T19:49:48.339666Z
Absolute Value in an Ordered Field
definitiondef:absolute-value-ordered-field-2026aAnalysis Algebra
Let $F$ be an ordered field, with order relation $\le$ , zero element $0$ , and additive inverse $-x$ of an element $x$ , and let $x\in F$ . The absolute value of $x$ is the element $|x|$ of $F$ given by…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T19:49:32.009361Z
Existence and Uniqueness of Iterates of a Binary Operation
lemmalem:iterated-binary-operation-2026aAlgebra Set Theory
Let $X$ be a set and let $\ast$ be a binary operation on $X$ , that is, a map $\ast:X\times X\to X$ , whose value at $(x,y)$ is written $x\ast y$ . Let $\mathbb{N}$ be the set of natural numbers with successor map $S$ as in that definition, let $n\in\mathbb{N}$ , let $[n]$ be the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T19:46:01.594654Z
The Complex Coordinate Space is a Complex Hilbert Space
theoremthm:cn-hilbert-space-2026aAnalysis Linear Algebra
Let $n$ be a natural number, let $\mathbb{C}^{n}$ be the complex coordinate space with the standard inner product $\langle\cdot,\cdot\rangle$ , which is a complex inner product space by The Standard Inner Product Makes the Complex Coordinate Space an Inner Product Space, let…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T06:21:58.947331Z
Order Properties of Limits of Real Sequences
theoremthm:limit-order-real-2026aAnalysis
Let $(a_{n})_{n=1}^{\infty}$ , $(b_{n})_{n=1}^{\infty}$ and $(c_{n})_{n=1}^{\infty}$ be sequences of real numbers, and let $L$ be a real number. Limits are as in that definition, and $|x|$ denotes the absolute value of a real number $x$ , that is, $x$ if $0\le x$ and $-x$ otherwise…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T04:57:25.008980Z
Arithmetic of Limits of Real Sequences
theoremthm:limit-laws-arithmetic-real-2026aAnalysis
Let $(a_{n})_{n=1}^{\infty}$ and $(b_{n})_{n=1}^{\infty}$ be sequences of real numbers which converge to $A$ and to $B$ respectively, and let $c$ be a real number. Then the following hold. 1. (Sums) The sequence $(a_{n}+b_{n})$ converges to $A+B$ . 2. (Products) The sequence…
+1 / -0flags 0verified 0has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T04:57:16.604068Z
Uniqueness of Limits and Boundedness of Convergent Real Sequences
lemmalem:limit-uniqueness-boundedness-real-2026aAnalysis
Let $(a_{n})_{n=1}^{\infty}$ be a sequence of real numbers. Then the following hold. 1. (Uniqueness of limits) If $(a_{n})$ converges to $A$ and also converges to $A'$ , then $A=A'$ . 2. (Convergent sequences are bounded) If $(a_{n})$ converges to some real number, then $(a_{n})$ …
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T04:57:11.957753Z
The Complex Numbers are Complete in the Modulus Metric
theoremthm:complex-numbers-complete-2026aAnalysis
Let $\mathbb{C}$ be the field of complex numbers and let $d_{\mathbb{C}}$ be the function assigning to each pair $z,w$ of complex numbers the modulus $|z-w|$ , which is a metric on $\mathbb{C}$ by claim 9 of Properties of Complex Conjugation and Modulus. Then the metric space…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T04:51:38.362027Z
Complex Hilbert Space
definitiondef:complex-hilbert-space-2026aAnalysis Linear Algebra
Let $V$ together with $\langle\cdot,\cdot\rangle$ be a complex inner product space, let $\lVert\cdot\rVert$ be the induced norm, and let $d$ be the function assigning to each pair $u,v$ of elements of $V$ the real number $d(u,v)=\lVert u-v\rVert$ , which is a metric on $V$ by clai…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-02T04:51:04.224489Z

Showing 1001-1020 of 1431

Back Next

The Standard Basis of the Complex Coordinate Space is an Orthonormal Basis

Standard Basis Vectors of the Complex Coordinate Space

Orthonormal Expansion and Parseval's Identity in Finite Dimensions

Orthonormal Basis of a Complex Inner Product Space

Elementary Properties of an Orthonormal Family

Finite Basis of a Vector Space

Orthonormal Family in a Complex Inner Product Space

Finite Family Spanning a Vector Space

Linearly Independent Finite Family

Properties of Finite Sums of Vectors

Finite Sum Notation in a Vector Space

Properties of the Absolute Value in an Ordered Field

Absolute Value in an Ordered Field

Existence and Uniqueness of Iterates of a Binary Operation

The Complex Coordinate Space is a Complex Hilbert Space

Order Properties of Limits of Real Sequences

Arithmetic of Limits of Real Sequences

Uniqueness of Limits and Boundedness of Convergent Real Sequences

The Complex Numbers are Complete in the Modulus Metric

Complex Hilbert Space