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



Exercise for the break

Draw, for four sets, a diagram of sets that shows all possible intersecting sets.

An abstract and




Exercises
a concrete set diagram.

Let denote the set of capital letters in the Latin alphabet, the set of capital letters in the Greek alphabet, and the set of capital letters in the Russian alphabet. Determine the following sets.

  1. .
  2. .
  3. .
  4. .
  5. .


Determine, for the sets

the following sets.

  1. ,
  2. ,
  3. ,
  4. ,
  5. ,
  6. ,
  7. ,
  8. .


Sketch the following subsets of .

  1. ,
  2. ,
  3. ,
  4. ,
  5. ,
  6. ,
  7. ,
  8. ,
  9. ,
  10. .


Let and denote sets. Prove the identity


Let and denote sets. Prove the following identities.


Let and be disjoint sets, and Show that also and are disjoint, and that

holds.


  1. Sketch the set and the set .
  2. Determine the intersection geometrically and computationally.


We consider the two sets

and

Find a description of the intersection

similar to Example 1.2 .


  1. Show that the set

    is not empty.

  2. Show that the set

    is empty.


How can we describe the round bale of straw (without the cat) as a product set?

Describe, for every combination (including the case where the product is taken with itself), the product set of the following geometric sets.

  1. A circle .
  2. A line segment .
  3. A line .
  4. A parabola .

Which product set can we realize as a subset in space?


Let and denote sets, and let and be subsets. Show the identity


Let and denote disjoint sets, and let be another set. Show the identity


Let and denote disjoint sets. Show the equality


Let denote a finite set with elements. Show that the power set contains elements.




Hand-in-exercises

Exercise (2 marks)

Sketch the following subsets in .

  1. ,
  2. ,
  3. ,
  4. .


Exercise (2 (1+1) marks)

  1. Sketch the set and the set .
  2. Determine the intersection by a drawing and computationally.


Exercise (1 mark)

Does the "subtraction rule“ hold for the union of sets, i.e., can we infer from that holds?


Exercise (5 marks)

Prove the following (set-theoretical versions of) syllogisms of Aristotle. Let denote sets.

  1. Modus Barbara: and imply .
  2. Modus Celarent: and imply .
  3. Modus Darii: and imply .
  4. Modus Ferio: and imply .
  5. Modus Baroco: and imply .


Exercise (2 marks)

Let and denote sets, and let and be subsets. Show the identity


Exercise (4 marks)

Let and be sets. Show that the following facts are equivalent.

  1. ,
  2. ,
  3. ,
  4. There exists a set such that ,
  5. There exists a set such that .



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