Lección 2 - Espacio afín | Geometrías Lineales | UNED

Introduction to Finite Spaces

Understanding the Difference Between Vector Spaces and Finite Spaces

• The lesson begins with an analogy comparing roads to vectors, emphasizing that the length of a road (vector) is more important than its position.

• In finite spaces, new elements called points are introduced, which differ from vectors in vector spaces that were previously discussed.

• Vectors in finite spaces are now associated with specific points, meaning they have defined starting and ending locations unlike free vectors.

Definition of Finite Space

• A simple definition of finite space is presented, involving three distinct elements: a non-empty set X, a vector space denoted as V, and an application function.

• The application function takes pairs of elements from set X and returns an element from the vector space V.

• Notation preferences are discussed; uppercase letters for points and lowercase for vectors help distinguish between them.

Properties of Applications in Finite Spaces

• The application must satisfy certain properties: it should be independent of the second point chosen when fixing the first point.

• This independence allows defining applications that return elements from the vector space based on fixed points in set X.

• The relationship between points leads to constructing vectors that represent directions within this finite space.

Charles' Relation and Its Importance

• A critical property known as Charles' relation states how two constructed vectors can relate back to another point or vector within the same space.

• This relation helps establish foundational rules for operations within finite spaces, ensuring consistency across mathematical applications.

Conclusion on Defining Finite Spaces

• Elements from set X, referred to as points in finite spaces, contrast with vectors in vector spaces but maintain interrelated definitions through applications.

• The structure formed by these three components—set X, vector space V, and application—defines what constitutes a finite space.

Understanding Affine Spaces and Vector Spaces

Defining Affine Spaces

• The concept of dimension is introduced, emphasizing that an affine space can be represented by an implicit equation independent of the vector space.

• Any affine space can be related to a vector space through implicit equations, allowing for the definition of various spaces based on these equations.

Relationship Between Points and Vectors

• The relationship between points and vectors in an affine space is explored, highlighting how vectors facilitate movement between static points.

• Vectors serve as pathways connecting static points, enabling transitions from one point to another within the defined space.

Application of Vectors in Affine Spaces

• A proposition is presented regarding how to transition from one point p to another point q using a vector v .

• The unique point q in relation to point p can be expressed as the sum of p and vector v , illustrating the operation within the affine structure.

Defining New Operations

• The addition operation defined here differs from traditional vector addition since it combines elements from both the set of points and vectors.

• This new operation allows for defining a mapping that results in a new element within the set of points, establishing a clear connection between them.

Properties of Defined Applications

• The newly defined application must satisfy specific properties, including associativity when combining multiple vectors with fixed points.

• Each pair consisting of a point and a vector yields another point in the affine space, reinforcing the structure's consistency.

Constructing Affine Spaces Through Group Actions

Utilizing Group Actions

• An affine space can also be constructed using group actions on sets, requiring additional properties such as transitivity and identity elements.

• For any two elements in a set, there exists an action by some group element that relates them directly through their transformations.

Establishing Conditions for Affine Space Definition

• To define an affine space via group actions, certain conditions must hold true regarding how groups interact with sets.

• These interactions allow for constructing spaces where operations are well-defined under group actions while maintaining structural integrity.

This structured approach provides clarity on key concepts surrounding affine spaces and their relationships with vector spaces while ensuring easy navigation through timestamps.