Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Bases in Known Dimension Space

Description

This lecture covers the concept of bases in a vector space of known dimension, discussing the conditions for a generating family to be a base, the extraction of a base, and determining if a given set is a base. Examples are provided to illustrate the theory.

In MOOC

Linear Algebra (Part 1)

Official source

Related concepts (32)

Vector space

In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called vectors, may be added together and multiplied ("scaled") by numbers called scalars. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called vector axioms. The terms real vector space and complex vector space are often used to specify the nature of the scalars: real coordinate space or complex coordinate space.

Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".

Proof theory

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Dimension (vector space)

In mathematics, the dimension of a vector space V is the cardinality (i.e., the number of vectors) of a basis of V over its base field. It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say is if the dimension of is finite, and if its dimension is infinite.

Proof (truth)

A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.

Related lectures (40)

Dimension of a Subspace MOOC: Linear Algebra (Part 1)

Covers the concept of the dimension of a subspace in a finite-dimensional vector space.

Decomposition Principle: Linear Algebra

Explores the decomposition principle in linear algebra, showing how a vector space can be split into two subspaces.

Dimension of Vector Subspace Sum MOOC: Linear Algebra (Part 1)

Explains the dimension of a sum of vector subspaces in a vector space.

Linear Algebra: Rank Theorem

Covers the Rank Theorem in linear algebra, focusing on vector spaces and linear applications.

Vectorial Spaces: Counter Examples and Proofs MOOC: Linear Algebra (Part 1)