Dsy Network www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > [help] Dimostrazione per Induzione
Pages (2): « 1 [2]   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
Bemipefe
.fedelissimo.

User info:
Registered: Jul 2005
Posts: 44 (0.01 al dì)
Location: P.M.
Corso: Scienze Informatiche
Anno: Secondo (...teoricamente)
Time Online: 2:59:00: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Forse ci sono ..... vediamo se riesco a fare questa:



Allora ....
Ti spiego un attimo..... in pratica A_n è l'insieme che contiene tutti gli insiemi A che rispettano quella proprietà , e poi mi chiede se la cardinalità di A_n = 2^n-1


Base Induttiva
n = 1
A è sottoinzieme di {1}

Quindi A_n = { {1} } e |A_n| = 2^n-1 = 2^0 = 1
Vera

Principio Induttivo
Si può notare che l'insieme A_n è un sottoinsieme dell'insieme P({1...n}) , cioè è sottoinsieme all'insieme delle parti di {1...n}.
Infatti in A_n ci sono tutti i sottoinsiemi di {1....n} meno alcuni inziemi.
Gli insiemi che mancano sono quelli che contengono gli elementi isolati da 2 a n ossia gli elementi del tipo {2}, {3} .....fino a {n}, che non rispettano 1 appartiene ad A
Se da 1 a n ci sono n elementi da 2 a n si possono costruire (n-1) sottoinsiemi contenenti i singoli elementi da 2 a n.
In più l'insieme A_n rispetto a P({1-n}) non contiene l'insieme vuoto quindi l'insieme A_n contiene [(n-1)+1] elementi (+1 riguarda il vuoto) , rispetto a P({1...n}).
Visto che la cardinalità di P({1...n}) è 2^n la cardinalità di A_n è:
2^n - [(n-1)+1] = 2^n - n
Ma effettivamente 2^n -n = 2^(n-1)


Tranne l'impostazione credo che il principio attivo (ragionamento logico) sia efficace. Tu che dici?

__________________
_/\/\/\Bemipefe/\/\/\_

19-02-2006 20:20
Click Here to See the Profile for Bemipefe Click here to Send Bemipefe a Private Message Visit Bemipefe's homepage! Find more posts by Bemipefe Add Bemipefe to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by Bemipefe
Forse ci sono ..... vediamo se riesco a fare questa:



Allora ....
Ti spiego un attimo..... in pratica A_n è l'insieme che contiene tutti gli insiemi A che rispettano quella proprietà , e poi mi chiede se la cardinalità di A_n = 2^n-1


Base Induttiva
n = 1
A è sottoinzieme di {1}

Quindi A_n = { {1} } e |A_n| = 2^n-1 = 2^0 = 1
Vera

fin qui perfetto

Principio Induttivo
Si può notare che l'insieme A_n è un sottoinsieme dell'insieme P({1...n}) , cioè è sottoinsieme all'insieme delle parti di {1...n}.
Infatti in A_n ci sono tutti i sottoinsiemi di {1....n} meno alcuni inziemi.
Gli insiemi che mancano sono quelli che contengono gli elementi isolati da 2 a n ossia gli elementi del tipo {2}, {3} .....fino a {n}, che non rispettano 1 appartiene ad A
Se da 1 a n ci sono n elementi da 2 a n si possono costruire (n-1) sottoinsiemi contenenti i singoli elementi da 2 a n.
In più l'insieme A_n rispetto a P({1-n}) non contiene l'insieme vuoto quindi l'insieme A_n contiene [(n-1)+1] elementi (+1 riguarda il vuoto) , rispetto a P({1...n}).
Visto che la cardinalità di P({1...n}) è 2^n la cardinalità di A_n è:
2^n - [(n-1)+1] = 2^n - n
Ma effettivamente 2^n -n = 2^(n-1)


Tranne l'impostazione credo che il principio attivo (ragionamento logico) sia efficace. Tu che dici?

qua hai fatto un po' della fantamatematica :P
ci sono 2 errori matematici e uno di forma

quelli matematici sono che prima di tutto 2^(n-1) non è uguale a 2^n -n, se vuoi scomporlo in modo da evidenziare il 2^n dovresti scrivere (2^n) / 2
inoltre gli insiemi per cui A_n differisce da P({1...n}) non sono solo quelli unitari da 2 a n, ma anche insiemi del tipo {2,5} o {3,n-7,n} etc.

l'errore di forma è che anche ammettendo la correttezza delle formule questa non è una dimostrazione "per induzione", per esserlo devo partire dal caso n-1
fai così:
- ammettendo che la proprietà sia vera per n-1 (ipotesi induttiva) quale sarà la cardinalità di A_(n-1) ?
- per ottenere A_n quali (e quindi quanti) insiemi devi aggiungere a quelli che hai in A_(n-1) (di cui conosco la cardinalità)?
- il risultato che ti viene fuori è 2^n-1? se si congratulazioni :D se no riguarda i conti :P

19-02-2006 22:09
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bemipefe
.fedelissimo.

User info:
Registered: Jul 2005
Posts: 44 (0.01 al dì)
Location: P.M.
Corso: Scienze Informatiche
Anno: Secondo (...teoricamente)
Time Online: 2:59:00: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged




__________________
_/\/\/\Bemipefe/\/\/\_

20-02-2006 11:02
Click Here to See the Profile for Bemipefe Click here to Send Bemipefe a Private Message Visit Bemipefe's homepage! Find more posts by Bemipefe Add Bemipefe to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bemipefe
.fedelissimo.

User info:
Registered: Jul 2005
Posts: 44 (0.01 al dì)
Location: P.M.
Corso: Scienze Informatiche
Anno: Secondo (...teoricamente)
Time Online: 2:59:00: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Per Polsy

Guarda un pò qua: http://twiki.dsi.uniroma1.it/pub/Lo...ltati060222.txt

è anche merito tuo GRAZIE!

__________________
_/\/\/\Bemipefe/\/\/\_

24-02-2006 14:00
Click Here to See the Profile for Bemipefe Click here to Send Bemipefe a Private Message Visit Bemipefe's homepage! Find more posts by Bemipefe Add Bemipefe to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bemipefe
.fedelissimo.

User info:
Registered: Jul 2005
Posts: 44 (0.01 al dì)
Location: P.M.
Corso: Scienze Informatiche
Anno: Secondo (...teoricamente)
Time Online: 2:59:00: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Ah scusami........ io sono quello che ha preso 18.....

__________________
_/\/\/\Bemipefe/\/\/\_

24-02-2006 14:01
Click Here to See the Profile for Bemipefe Click here to Send Bemipefe a Private Message Visit Bemipefe's homepage! Find more posts by Bemipefe Add Bemipefe to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

:D congratulazioni!

24-02-2006 14:56
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 22:37.    Post New Thread    Post A Reply
Pages (2): « 1 [2]   Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.058 seconds (63.91% PHP - 36.09% MySQL) con 24 query.