La relación de partición
$$ \kappa \to (\alpha)^m_\lambda $$
dice que para cualquier $f:[\kappa]^m \to \lambda$, hay un $X\subseteq \kappa$, que es constante en $f$ $[X]^m$ y el tipo $X$ $\alpha$.
(Fue mi introducción a la notación de este libro de Drake en cardenales grandes, pero creo que viene de Erdős y Rado).
Mi pregunta: ¿cómo se pronuncia esta relación al leer en voz alta (si hay una forma estándar)?
Leer como "$\kappa$ flechas $\alpha$-$m$-$\lambda$", o alguna pequeña variante de este, tales como "$\kappa$ flechas $\alpha$ super $m$ sub $\lambda$". Nada demasiado revelador. Que de hecho esta es la lectura sugerida se indica en la sección 8.2 (pg. 53) de la Erdős-Hajnal-Máté-Rado libro, Combinatoria, teoría de conjuntos: la Partición de las relaciones de los cardenales.
(La notación de hecho proviene de un documento por parte de Erdős y Rado, pero fue diseñado por el Rado en los primeros años 50. Mi entendimiento es que Erdős se quejaba de vez en cuando, a pesar de su utilidad.)
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
