Diagonal cut

from Wikipedia, the free encyclopedia

In the mathematical branch of set theory , the diagonal cut is a construction related to the average, and a family of sets can be assigned a new one, namely its diagonal cut. The elements of the diagonal section of the family are certain indices , which in turn belong to certain of the sets . The concept formation to be discussed here is therefore only meaningful if the indices themselves appear as elements of the sets, therefore sets of ordinal numbers indexed with ordinal numbers are considered.

definition

Let it be a cardinal number and a family of sets . Then is called

the diagonal cut of the family .

properties

The diagonal section contains exactly those elements of the diagonals that are also in the relation .

The data of the above definition may be available. Of course, the average is contained in the diagonal section, that is, it is true , because is contained in each of the sets , especially in , and that is precisely the defining condition for belonging to .

If one sets , then is a falling function , where stands for the power set , that is, it follows from . By definition is equivalent to . On the Cartesian product, define the relation and the " diagonal " . Then, the diagonal cut exactly the set of ordinal numbers , for which the diagonal element in is:

.

Membership from to the diagonal average depends only on membership in the first . This becomes particularly clear in the following formula:

example

To demonstrate how the term presented here works, the following simple statement should be proven:

  • It is a cardinal and an ordinal number is . Then applies

Proof: " ": Is , so is , so for everyone . So it applies to all , hence is a Limes ordinal number .

" ": Conversely, if a Limes ordinal number is, then for all and therefore what exactly is the defining condition for .

use

The diagonal cut is used particularly in the investigation of uncountable regular cardinal numbers . A filter on a cardinal number is called normal if it is closed with regard to the formation of diagonal cuts, that is, it is again an element of the filter if all of them are there. For example, the club filter is normal on an uncountable regular cardinal number. This fact is used, for example, in Fodor's theorem .

Diagonal union

The term dual to the diagonal cut is the diagonal union . Is a cardinal number and a family of sets , so is called

the diagonal union of the set family .

The definition is designed in such a way that applies.

literature