Diagonal intersection

Diagonal intersection is a term used in mathematics, especially in set theory.

If $\displaystyle\delta$ is an ordinal number and $\displaystyle\langle X_\alpha \mid \alpha<\delta\rangle$ is a sequence of subsets of $\displaystyle\delta$, then the diagonal intersection, denoted by

$\displaystyle\Delta_{\alpha<\delta} X_\alpha,$

is defined to be

$\displaystyle\{\beta<\delta\mid\beta\in \bigcap_{\alpha<\beta} X_\alpha\}.$

That is, an ordinal $\displaystyle\beta$ is in the diagonal intersection $\displaystyle\Delta_{\alpha<\delta} X_\alpha$ iff it is contained in the first $\displaystyle\beta$ members of the sequence. This is the same as

$\displaystyle\bigcap_{\alpha < \delta} ( [0, \alpha] \cup X_\alpha ),$

where the closed interval from 0 to $\displaystyle\alpha$ is used to avoid restricting the range of the intersection.

See also

• Fodor's lemma
• Club set
• Club filter

References

• Thomas Jech, Set Theory, The Third Millennium Edition, Springer-Verlag Berlin Heidelberg New York, 2003, page 92.
• Akihiro Kanamori, The Higher Infinite, Second Edition, Springer-Verlag Berlin Heidelberg, 2009, page 2.

This article incorporates material from diagonal intersection on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Set theory Ordinal numbers Mathematical logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Geography of London AmeriCorps Florida State Parks Look at other dictionaries: Diagonal Method — The Diagonal Method (DM) is a rule of thumb in photography, painting and drawing. Dutch photographer and lecturer Edwin Westhoff discovered the method when, after having long taught the rule of thirds in photography courses, he conducted visual… …   Wikipedia Diagonal — For the avenue in Barcelona, see Avinguda Diagonal. The diagonals of a cube with side length 1. AC (shown in blue) is a space diagonal with length , while AC (shown in red) is a face diagonal and has length …   Wikipedia Intersection (road) — Crossroad in Kharkov An intersection is a road junction where two or more roads either meet or cross at grade (they are at the same level). An intersection may be 3 way a T junction or fork, 4 way a crossroads, or 5 way or more. It may often be… …   Wikipedia Intersection number — In mathematics, the concept of intersection number arose in algebraic geometry, where two curves intersecting at a point may be considered to meet twice if they are tangent there. In the sense that multiple intersections are limiting cases of n… …   Wikipedia Intersection form (4-manifold) — In mathematics, the intersection form of an oriented compact 4 manifold is a special symmetric bilinear form on the 2nd cohomology group of the 4 manifold. It reflects much of the topology of the 4 manifolds, including information on the… …   Wikipedia Avinguda Diagonal — Pour les articles homonymes, voir Diagonale (homonymie). 41°23′47″N 02°09′29″E / …   Wikipédia en Français Club set — In mathematics, particularly in mathematical logic and set theory, a club set is a subset of a limit ordinal which is closed under the order topology, and is unbounded relative to the limit ordinal. The name club is a contraction of closed and… …   Wikipedia Club filter — In mathematics, particularly in set theory, if κ is a regular uncountable cardinal then , the filter of all sets containing a club subset of κ, is a κ complete filter closed under diagonal intersection called the club filter. To see that this is… …   Wikipedia List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia Altadena Drive (California) — Altadena Drive is one of the major east west roadways in Altadena, California, stretching almost continuously from one end of the town to the other. The road is actually a convergence of several smaller roads which were established over the half… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”