Let $\lambda$ a cardinal and $\delta<\lambda^+$. I want to proof there exists a increasing chain $$\{A^i_\delta : i< cf(\lambda)\}\subseteq[\delta\times\delta]^{<\lambda}$$ converging to $\delta\times\delta$.
If $\delta<\lambda$ then $|\delta\times\delta|=|\delta|<\lambda$ and let $A^i_\delta=\delta\times\delta$ for all $i< cf(\lambda)$ and it's ok.
If $\lambda\leq\delta<\lambda^+$ then $|\delta|=\lambda$. Choose a (strictly) increasing sequence $\langle\alpha_\xi : \xi< cf(\lambda)\rangle$ so that $\sup(\alpha_\xi)=\lambda$ and let $\phi$ a bijection between $\lambda$ and $\delta\times\delta$. Let $B^i_\delta=\phi(\alpha_i)\subset \delta\times\delta$ for all $i< cf(\lambda)$. Then $|B^i_\delta|<\lambda$. But it is not necessary an increasing sequence so define by induction $A^i_\delta$ as follows : $$\begin{align*} A^0_\delta&=B^0_\delta\\ A^1_\delta&=A^0_\delta\cup B^1_\delta\\ &\vdots\\ A^{i+1}_\delta&=A^i_\delta\cup B^{i+1}_\delta&\qquad\text{successor}\\ A^i_\delta&=\bigcup_{j<i}A^j_\delta&\qquad\text{limit case} \end{align*}$$ First, $\bigcup_{i<cf(\lambda)}A^i_\delta=\bigcup B^i_\delta=\bigcup\phi(\alpha_i) =\phi(\bigcup \alpha_i)=\phi(\lambda)=\delta\times\delta$ and all the $A^i_\delta$ are subsets of $\delta\times\delta$. Second, we need to proof that the cardinality of each $A^i_\delta$ is $<\lambda$ : for the successor case, it's ok. But for the limit one, I have some problem : let $i<cf(\lambda)$ and consider $A:=\bigcup_{j<i}A^j_\delta$ with $|A^j_\delta|<\lambda$. Does $|A|<\lambda$ ? We have $$|\bigcup A^i_\delta|\leq\sum_{j<i}|A^j_\delta|\leq|i|.\sup|A^i_\delta|<cf(\lambda).\sup|A^i_\delta|$$ So I want to see that the last $sup$ is less than $\lambda$ (because $i<cf(\lambda)$ ?). My argument is this one : if $\sup|A^i_\delta|=\lambda$ then, as the sequence of the $|A^i_\delta|$ is increasing, we would have a cofinal sequence in $\lambda$ of length $<cf(\lambda)$ which is not possible. Is it ok ? Thanks.
