25.:
Odpowiedź: \(\displaystyle{ 2^{n-1}}\).
Rodzina \(\displaystyle{ \mathcal{A} = \{ A \subseteq \{ 1, \ldots, n \} : 1 \in A \}}\) ma \(\displaystyle{ 2^{n-1}}\) elementów i spełnia zadany warunek, bo dla dowolnych \(\displaystyle{ A, B \in \mathcal{A}}\) mamy \(\displaystyle{ \{ 1 \} \subseteq A \cap B.}\)
Weźmy dowolną rodzinę \(\displaystyle{ \mathcal{B} \subseteq \mathcal{P}( \{ 1, \ldots, n \} ),}\) która ma więcej niż \(\displaystyle{ 2^{n-1}}\) elementów. Zauważmy, że zbiór \(\displaystyle{ \mathcal{P}( \{ 1, \ldots, n \} )}\) można podzielić na \(\displaystyle{ 2^{n-1}}\) różnych par \(\displaystyle{ \{ A, A' \},}\) gdzie \(\displaystyle{ A \subseteq \{ 1, \ldots, n \}.}\) Ponieważ rodzina \(\displaystyle{ \mathcal{B}}\) ma ponad \(\displaystyle{ 2^{n-1}}\) elementów, więc należą do niej oba elementy pewnej z tych par, tj. \(\displaystyle{ A \in \mathcal{B}}\) oraz \(\displaystyle{ A' \in \mathcal{B}}\) dla pewnego \(\displaystyle{ A \subseteq \{ 1, \ldots, n \}.}\) Wtedy \(\displaystyle{ A \cap A' = \varnothing,}\) zatem rodzina \(\displaystyle{ \mathcal{B}}\) nie ma zadanej własności.
Rodzina \(\displaystyle{ \mathcal{A} = \{ A \subseteq \{ 1, \ldots, n \} : 1 \in A \}}\) ma \(\displaystyle{ 2^{n-1}}\) elementów i spełnia zadany warunek, bo dla dowolnych \(\displaystyle{ A, B \in \mathcal{A}}\) mamy \(\displaystyle{ \{ 1 \} \subseteq A \cap B.}\)
Weźmy dowolną rodzinę \(\displaystyle{ \mathcal{B} \subseteq \mathcal{P}( \{ 1, \ldots, n \} ),}\) która ma więcej niż \(\displaystyle{ 2^{n-1}}\) elementów. Zauważmy, że zbiór \(\displaystyle{ \mathcal{P}( \{ 1, \ldots, n \} )}\) można podzielić na \(\displaystyle{ 2^{n-1}}\) różnych par \(\displaystyle{ \{ A, A' \},}\) gdzie \(\displaystyle{ A \subseteq \{ 1, \ldots, n \}.}\) Ponieważ rodzina \(\displaystyle{ \mathcal{B}}\) ma ponad \(\displaystyle{ 2^{n-1}}\) elementów, więc należą do niej oba elementy pewnej z tych par, tj. \(\displaystyle{ A \in \mathcal{B}}\) oraz \(\displaystyle{ A' \in \mathcal{B}}\) dla pewnego \(\displaystyle{ A \subseteq \{ 1, \ldots, n \}.}\) Wtedy \(\displaystyle{ A \cap A' = \varnothing,}\) zatem rodzina \(\displaystyle{ \mathcal{B}}\) nie ma zadanej własności.



