La soluzione è veramente una sorpresa. Perciò chi già lo conosce non posti. Per chi non lo conosce invece conviene postare anche qualche osservazione parziale e mettere insieme gli sforzi.
Abbiamo una famiglia $ \{ f_a \}_{a \in A} $ di funzioni olomorfe intere (distinte). Sappiamo che per ogni $ z \in \mathbb{C} $ l'insieme $ \{ f_a(z) \}_{a \in A} $ è numerabile. ¿Possiamo dedurne che la famiglia sia essa stessa numerabile?
Adoro questo problema
- Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta:
Adoro questo problema
The best argument against democracy is a five-minute conversation with the average voter. - Winston Churchill
Beh, visto che si accettano anche osservazioni parziali ...
sicuramente, le funzioni hanno al più la cardinalità del continuo :
consideriamo infatti un denso numerabile $ \{q_n\}\subset\mathbb{C} $ e, fissato n, siano $ A^n_i $ le classi di equivalenza delle funzioni nel punto $ q_n $, ovvero fissiamo
$ $\{f_\alpha(q_n)\}_{\alpha\in A}=\{w^n_i\}_{i\in\mathbb{N}}$ $
$ $A^n_i=\{\alpha\in A\ |\ f_\alpha(q_n)=w^n_i\}$ $
Ora, per ogni funzione $ f:\mathbb{N}\to\mathbb{N} $ consideriamo l'insieme $ $A_f=\bigcap_{n\in\mathbb{N}}A^n_{f(n)}$ $; tali insiemi hanno la seguente proprietà :
$ $\forall\ \alpha,\alpha'\in A_f,\ n\in\mathbb{N},\ f_\alpha(q_n)=f_{\alpha'}(q_n)$ $
Visto che i $ \{q_n\}_{n\in\mathbb{N}} $ sono un denso, la relazione precedente implica che $ f_{\alpha}\equiv f_{\alpha'}\quad \forall\ \alpha,\alpha'\in A_f $. Quindi le funzioni dette sono al più quante le funzioni dai naturali in sè, quindi hanno la cardinalità del continuo.
Del resto questo vale per ogni famiglia di funzioni continue su uno spazio separabile con la proprietà descritta...
sicuramente, le funzioni hanno al più la cardinalità del continuo :
consideriamo infatti un denso numerabile $ \{q_n\}\subset\mathbb{C} $ e, fissato n, siano $ A^n_i $ le classi di equivalenza delle funzioni nel punto $ q_n $, ovvero fissiamo
$ $\{f_\alpha(q_n)\}_{\alpha\in A}=\{w^n_i\}_{i\in\mathbb{N}}$ $
$ $A^n_i=\{\alpha\in A\ |\ f_\alpha(q_n)=w^n_i\}$ $
Ora, per ogni funzione $ f:\mathbb{N}\to\mathbb{N} $ consideriamo l'insieme $ $A_f=\bigcap_{n\in\mathbb{N}}A^n_{f(n)}$ $; tali insiemi hanno la seguente proprietà :
$ $\forall\ \alpha,\alpha'\in A_f,\ n\in\mathbb{N},\ f_\alpha(q_n)=f_{\alpha'}(q_n)$ $
Visto che i $ \{q_n\}_{n\in\mathbb{N}} $ sono un denso, la relazione precedente implica che $ f_{\alpha}\equiv f_{\alpha'}\quad \forall\ \alpha,\alpha'\in A_f $. Quindi le funzioni dette sono al più quante le funzioni dai naturali in sè, quindi hanno la cardinalità del continuo.
Del resto questo vale per ogni famiglia di funzioni continue su uno spazio separabile con la proprietà descritta...
-
- Messaggi: 774
- Iscritto il: 01 gen 1970, 01:00
Recentemente mi è tornato in mente questo problema. Ammetto che non sono riuscito a cavare un ragno dal buco.
Dopo aver miseramente fallito mi è rimasta almeno la curiosità di sapere la risposta, che è davvero incredibile...
www.math-inst.hu/~p_erdos/1964-04.pdf
Dopo aver miseramente fallito mi è rimasta almeno la curiosità di sapere la risposta, che è davvero incredibile...
www.math-inst.hu/~p_erdos/1964-04.pdf
- Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta: