Critical point (set theory)

In set theory, the critical point of an elementary embedding of a transitive class into another transitive class is the smallest ordinal which is not mapped to itself.^[1]

Suppose that j : N → M is an elementary embedding where N and M are transitive classes and j is definable in N by a formula of set theory with parameters from N. Then j must take ordinals to ordinals and j must be strictly increasing. Also j(ω)=ω. If j(α)=α for all α<κ and j(κ)>κ, then κ is said to be the critical point of j.

If N is V, then κ (the critical point of j) is always a measurable cardinal, i.e. an uncountable cardinal number κ such that there exists a <κ-complete, non-principal ultrafilter over κ. Specifically, one may take the filter to be $\{A \vert A \subseteq \kappa \land \kappa \in j (A) \} \,.$ Generally, there will be many other <κ-complete, non-principal ultrafilters over κ. However, j might be different from the ultrapower(s) arising from such filter(s).

If N and M are the same and j is the identity function on N, then j is called "trivial". If transitive class N is an inner model of ZFC and j has no critical point, i.e. every ordinal maps to itself, then j is trivial.

References

1. ^ Jech, Thomas (2002). Set Theory. Berlin: Springer-Verlag. ISBN 3540440852.  p. 323

This set theory-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Large cardinals Set theory stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу Kiyofumi Ohno IBM OMEGAMON Look at other dictionaries: Critical point — may refer to: Critical point (mathematics) Critical point (set theory) Critical point (thermodynamics) Construction point of a ski jumping hill See also Brillouin zone Percolation thresholds …   Wikipedia Critical point (mathematics) — See also: Critical point (set theory) The abcissae of the red circles are stationary points; the blue squares are inflection points. It s important to note that the stationary points are critical points, but the inflection points are not nor are… …   Wikipedia Critical international relations theory — is a diverse set of schools of thought in International Relations (IR) that have criticized the theoretical, meta theoretical and/or political status quo, both in IR theory and in international politics more broadly from positivist as well as… …   Wikipedia Critical minimum effort theory — The critical minimum effort theory has been given by Harvey Leibenstein, in his book Economic Backwardness and Economic Growth. This theory relates to overpopulated and underdeveloped or developing nations such as India and Indonesia.This theory… …   Wikipedia Critical point (thermodynamics) — Carbon dioxide creating a fog when cooling from supercritical to critical temperature In physical chemistry, thermodynamics, chemistry and condensed matter physics, a critical point, also called a critical state, specifies the conditions… …   Wikipedia Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… …   Wikipedia Critical value — In differential topology, a critical value of a differentiable function ƒ : M → N between differentiable manifolds is the image (value) ƒ(x) in N of a critical point x in M[1]. The basic result on critical values is Sard s lemma. The set of… …   Wikipedia Critical theory — Horkheimer, Adorno, Habermas David Rasmussen HEGEL, MARX AND THE IDEA OF A CRITICAL THEORY Critical theory1 is a metaphor for a certain kind of theoretical orientation which owes its origin to Hegel and Marx, its systematization to Horkheimer and …   History of philosophy Critical Chain (novel) — Critical Chain   …   Wikipedia Theory of mind — is the ability to attribute mental states beliefs, intents, desires, pretending, knowledge, etc. to oneself and others and to understand that others have beliefs, desires and intentions that are different from one s own.[1] Though there are… …   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”