Dashboard

Featured nodes

Roots

  • Public root

Templates

  • Test template
  • iCorps template
  • Guanyu's Latex template
  • Ivar's latex template
  • Family Tree template
  • Latex template
  • Router template

Trees

  • Public trees

Orphans

  • Browse orphan nodes
Related nodes

Parents1

  • Algebraic properties of R^n (or C^n)

Siblings17
  • Sort by title
  • Sort by date

  • Definition of scalar
  • Definition of vector
  • Definition of column vector
  • Definition of R^n (or C^n)
  • Definition of size of a vector
  • Definition of entry/component of a vector
  • Definition of 0 vector
  • Definition of equality of vectors
  • Definition of vector sum/addition
  • Vector sum/addition is commutative and associative
  • Definition of conjugate of a vector in C^n
  • Definition of the real part of a vector in C^n
  • Definition of the imaginary part of a vector in C^n
  • The conjugate of a sum of vectors in C^n is the sum of the conjugates
  • Definition of vector-scalar multiplication
  • The conjugate of vector-scalar multiplication in C^n is the product of the conjugates.
  • Example of vector-scalar multiplication in R^2
Knowenβ
  • Help
    • Welcome to Knowen!
    • Edit test node (no login required)
    • Create new test node (no login required)
  • Not logged in
    • Sign in
    • Sign up

History & Comments

Back

Fill in commutativity and associativity proof

Description:Added theorem statement, proofs, examples, and consequences
# Vector sum/addition is commutative and associative

Put content here**Theorem:** Vector addition in \(\mathbb{F}^n\) is both commutative and associative.
⏎
## Commutativity
⏎
For all \(\mathbf{u}, \mathbf{v} \in \mathbb{F}^n\):
⏎
\[\mathbf{u} + \mathbf{v} = \mathbf{v} + \mathbf{u}\]
⏎
**Proof:** \((\mathbf{u} + \mathbf{v})_j = u_j + v_j = v_j + u_j = (\mathbf{v} + \mathbf{u})_j\), since scalar addition is commutative.
⏎
**Example:** \((1, 2) + (3, 4) = (4, 6) = (3, 4) + (1, 2)\)
⏎
## Associativity
⏎
For all \(\mathbf{u}, \mathbf{v}, \mathbf{w} \in \mathbb{F}^n\):
⏎
\[(\mathbf{u} + \mathbf{v}) + \mathbf{w} = \mathbf{u} + (\mathbf{v} + \mathbf{w})\]
⏎
**Proof:** \(((\mathbf{u} + \mathbf{v}) + \mathbf{w})_j = (u_j + v_j) + w_j = u_j + (v_j + w_j) = (\mathbf{u} + (\mathbf{v} + \mathbf{w}))_j\), since scalar addition is associative.
⏎
**Consequence:** The order of adding three or more vectors does not matter; parentheses can be omitted: \(\mathbf{u} + \mathbf{v} + \mathbf{w}\) is unambiguous.

# Parents

* Algebraic properties of R^n (or C^n)
Sign in to add a new comment

Contact us or leave feedback

© KTree Inc. 2026