Jump to content

Linear algebra (Osnabrück 2024-2025)/Part I/Exercise sheet 30

From Wikiversity



Exercise for the break

Let be an affine space of dimension , and let be affine subspaces of dimension and , respectively. Show that is either empty, or that its dimension is at least .




Exercises

Check whether the points

in are affinely independent.


Let be an affine space over a -vector space , and let

denote a finite family of points in . Show that the following statements are equivalent.

  1. The points are affinely independent.
  2. For every , the family of vectors

    is linearly independent.

  3. There exists some such that the family of vectors

    is linearly independent.

  4. The points form an affine basis in the affine subspace generated by them.


Let be an affine space over the -vector space , and let be a finite family of points in . Show that the following statements are equivalent.

  1. The points form an affine basis of .
  2. The points form a minimal affine generating system of .
  3. The points are maximally affinely independent.


Let be an affine space over the -vector space , and let be a finite family of points from . Show that these points form an affine basis of if and only if they are affinely independent, and they are an affine generating system for .


Determine the polynomials that define an affine-linear mapping


Let be a field, and let and denote affine spaces over the vector spaces and , respectively. Let a mapping

a linear mapping

and a point be given such that

holds for all . Show that is affine-linear.


Let be a mapping of the form

with certain . Show directly that is compatible with barycentric combinations.


Determine, by a drawing, the image point of under the affine mapping given by .


Determine, by a drawing, the image point of under the affine mapping that is determined by .


Describe the affine plane

as the preimage over of an affine mapping .


Describe the affine line

as the preimage over of an affine mapping .


Let and be affine spaces over the field . Show that the projections

and

are affine mappings.


Let and be affine spaces over the field . Show that the spaces are isomorphic if and only if their dimensions coincide.


Let be an affine space, and let be a finite family of points in . Let

Show that the assignment

defines a well-defined affine-linear mapping from to .


Let

be an affine-linear mapping between the affine spaces and over . Show that, for every affine subspace , the image is an affine subspace of .


Let

be an affine mapping on the affine space . Show that the linear part is the identity if and only if is a translation.


Let be an affine space over the -vector space . Show that the mapping that assigns to an affine mapping

its linear part , satisfies the following properties.


Let and be affine spaces over the field , let be an affine basis of , and let denote points. Let

be the corresponding affine-linear mapping with

Show the following statements.

a) is bijective if and only if is an affine basis of .


b) is injective if and only if are affinely independent.


c) is surjective if and only if is an affine generating system of .


Let

be an affine-linear mapping between the affine spaces and over . Show that the preimages for all are parallel to each other.


Compare several concepts for vector spaces and affine spaces, including their mappings.




Hand-in-exercises

Exercise (3 marks)

Let

be an affine-linear mapping between the affine spaces and over . Show that, for every affine subspace , the preimage is an affine subspace of .


Exercise (3 marks)

Describe the affine plane

as the preimage over of an affine mapping .


Exercise (2 marks)

Let be an affine space of dimension , and let

denote an affine mapping. Let be affinely independent points, and suppose that they are also fixed points of . Show that is the identity.


Exercise (6 (3+2+1) marks)

Let

be an affine-linear mapping between the affine spaces and over .

a) Show that the graph of is an affine subspace of the product space .


b) Show that the mapping

is an isomorphism of affine spaces.


c) Show that

holds, where is the projection onto .



<< | Linear algebra (Osnabrück 2024-2025)/Part I | >>
PDF-version of this exercise sheet
Lecture for this exercise sheet (PDF)