{"id":2306,"date":"2010-08-03T02:30:47","date_gmt":"2010-08-03T00:30:47","guid":{"rendered":"https:\/\/xmau.com\/wp\/ilpost\/?p=2306"},"modified":"2022-10-10T17:39:53","modified_gmt":"2022-10-10T15:39:53","slug":"la-funzione-base-13-di-conway","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2010\/08\/03\/la-funzione-base-13-di-conway\/","title":{"rendered":"La funzione base-13 di Conway"},"content":{"rendered":"<p>Questa volta ci avventuriamo nei meandri dell&#8217;analisi matematica; vedremo come la nostra intuizione non sia sempre cos\u00ec brava a intuire le cose. Il tema \u00e8 un po&#8217; pi\u00f9 complicato di quanto scrivo di solito, ma garantisco che non ci sono dimostrazioni da seguire, e che il trucchetto usato \u00e8 molto interessante, oltre a essere utile anche per altre dimostrazioni sicuramente molto pi\u00f9 note. <\/p>\n<p><!--more-->Il tutto parte dallo studio delle funzioni di variabile reale. Generalmente una funzione \u00e8 vista come una bella curva disegnata su un foglio di carta quadrettata dove sono stati aggiunti gli assi cartesiani; l&#8217;unica cosa a cui bisogna stare attenti \u00e8 che la curva &#8220;non torni mai indietro&#8221;, altrimenti ci sarebbe un numero per cui la funzione assume due valori, e Ci\u00f2 \u00e8 Male. Questa definizione va benissimo per gli esempi che ci capitano nella vita di tutti i giorni; se ad esempio disegniamo la funzione della velocit\u00e0 della nostra auto rispetto al tempo durante il percorso casa-ufficio, otterremo una di queste curve, dove spesso saremo fermi e a volte magari avremo una velocit\u00e0 negativa perch\u00e9 stavamo facendo manovra. Tale funzione ha una caratteristica fondamentale: possiamo essere certi che in un qualche momento abbiamo toccato la velocit\u00e0 compresa tra la minima e la massima che siamo riusciti a fare. In matematica questo fatto ha il nome pomposo di <a href=\"http:\/\/it.wikipedia.org\/wiki\/Teorema_dei_valori_intermedi\">Teorema dei valori intermedi<\/a>, e viene insegnato all&#8217;inizio del corso di Analisi 1. <\/p>\n<p>Il teorema funziona perch\u00e9 non \u00e8 ancora stato inventato il teletrasporto, e quindi la velocit\u00e0 \u00e8 una <strong>funzione continua<\/strong>. Anche se ti schianti di colpo contro un lampione &#8211; speriamo di no &#8211; non \u00e8 vero che passi in tempo zero dai 130 all&#8217;ora a velocit\u00e0 zero; ci metterai magari un decimo di secondo, il che significa che un decimillesimo di secondo dopo l&#8217;urto tu stai ancora viaggiando a quasi 130 all&#8217;ora. I matematici, essendo persone che amano vedere le cose da un altro punto di vista, si sono chiesti &#8220;Ma vale anche il viceversa?&#8221; Detto in termini rigorosi: se abbiamo una funzione f tale che presi due suoi punti a caso <i>a<\/i> e <i>b<\/i> sappiamo che nell&#8217;intervallo [<i>a,b<\/i>] essa assume tutti i valori compresi tra f(<i>a<\/i>) e f(<i>b<\/i>), possiamo dire che f \u00e8 continua? La risposta putrtoppo, o per fortuna, \u00e8 no. John Conway ha trovato <a href=\"http:\/\/en.wikipedia.org\/wiki\/Conway_base_13_function\">un bellissimo controesempio<\/a>; ora ve lo illustro, vediamo se vi accorgete da dove lui ha preso l&#8217;idea.<\/p>\n<p>Conway costruisce una funzione dall&#8217;intervallo ]0,1[ (senza gli estremi, dunque) a valori in R in questo modo. Preso un numero qualunque, lo scrive in base 13. Anche se non lo si vede fatto spesso, non c&#8217;\u00e8 nessuna ragione perch\u00e9 i numeri in base diversa da 10 debbano essere interi; si pu\u00f2 tranquillamente proseguire dopo la virgola, con la regola classica per la divisione. L&#8217;unica cosa che ci occorre \u00e8 avere tredici cifre invece che dieci; Conway usa 0,1,2,3,4,5,6,7,8,9,v,m,p. Per evitare di avere due rappresentazioni dello stesso numero, come succede in base 10 dove 0,49999999&#8230; \u00e8 la stessa cosa che 0,5000000&#8230;, si decide di non usare le rappresentazioni che finiscono in ppppp&#8230; Conway guarda poi questi numeri, e chiama &#8220;ben formati&#8221; quelli con le seguenti caratteristiche:<\/p>\n<ol>\n<li>da un certo punto in poi usano solo le cifre 0,1,2,3,4,5,6,7,8,9<\/li>\n<li>subito prima di quel punto c&#8217;\u00e8 la cifra v<\/li>\n<li>prima ancora c&#8217;\u00e8 un numero a piacere (ma almeno una) di cifre nell&#8217;insieme {0,1,2,3,4,5,6,7,8,9}<\/li>\n<li>subito prima c&#8217;\u00e8 la cifra p oppure la cifra m<\/li>\n<li>non importa cosa ci sia prima ancora<\/li>\n<\/ol>\n<p>Per esempio, 0,12m34pp1p2m34vv11111111111&#8230; non \u00e8 un numero ben formato (ci sono due v di fila), mentre 0,12m34pp1p2m34v11111111111&#8230; lo \u00e8. <\/p>\n<p>Ora ci siamo: la funzione di Conway vale 0 per i punti che scritti in base 13 non sono ben formati. E per gli altri? Semplice. Si butta via la &#8220;parte prima ancora&#8221; indicata sopra, e <b>si rilegge<\/b> la stringa restante sostituendo a m il simbolo &#8220;-&#8220;, a p il simbolo &#8220;+&#8221; e a v il simbolo &#8220;,&#8221;. Tanto sono solo simboli, no? Cos\u00ec il numero tredecimale 0,12m34pp1p2m34v11111111111&#8230; diventa prima m34v11111111111&#8230; e poi -34,11111111&#8230; Questo, letto come fosse un usuale numero decimale, \u00e8 il valore della funzione nel punto (tredecimale) 0,12m34pp1p2m34v11111111111&#8230; <\/p>\n<p>\u00c8 impossibile disegnare questa funzione patologica: i suoi valori oscillano spazzando tutti i numeri reali in un qualunque intervallo piccolo a piacere. Ma questa \u00e8 proprio la nostra ipotesi del teorema inverso, e la funzione non \u00e8 continua; ecco dunque il controesempio cercato.<\/p>\n<p>Il trucco per tirare fuori questa funzione \u00e8 naturalmente quello di leggere la stessa stringa di caratteri in due modi diversi; procedimento che venne usato per la prima volta nel 1931, come i pi\u00f9 attenti di voi avranno intuito. Per\u00f2 forse in questo caso la doppia lettura \u00e8 pi\u00f9 facile da capire. L&#8217;unica cosa che posso aggiungere \u00e8 che per un matematico l&#8217;idea di definire una funzione in questo modo \u00e8 semplicemente favolosa; se lo \u00e8 anche per voi, potete fregiarvi del titolo di &#8220;matematico dentro&#8221;!<\/p>\n<p>(grazie a <a href=\"http:\/\/proooof.blogspot.com\/2010\/08\/continuita.html\">Zar<\/a> per avermi fatto scoprire la perla!)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Noi siamo abituati a pensare alle funzioni come qualcosa di disegnabile, ma non \u00e8 che sia sempre cos\u00ec, anzi. Ecco un esempio non molto noto di funzione assolutamente incredibile.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"class_list":["post-2306","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-Bc","jetpack-related-posts":[{"id":580,"url":"https:\/\/xmau.com\/ilpost\/2015\/06\/19\/maturita-2015-luci-e-ombre\/","url_meta":{"origin":2306,"position":0},"title":"Maturit\u00e0 2015, luci e ombre","author":".mau.","date":"19\/06\/2015","format":false,"excerpt":"Ottima l'idea di avere un esempio pratico, meno buona quella di un quesito \"facile\" troppo generico","rel":"","context":"In \"dematematizzazione\"","block_context":{"text":"dematematizzazione","link":"https:\/\/xmau.com\/ilpost\/tag\/dematematizzazione\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":689,"url":"https:\/\/xmau.com\/ilpost\/2015\/12\/22\/la-scala-del-diavolo\/","url_meta":{"origin":2306,"position":1},"title":"La scala del diavolo","author":".mau.","date":"22\/12\/2015","format":false,"excerpt":"Ci sono molte funzioni \"patologiche\": questa forse \u00e8 un po' meno conosciuta.","rel":"","context":"In \"analisi matematica\"","block_context":{"text":"analisi matematica","link":"https:\/\/xmau.com\/ilpost\/tag\/analisi-matematica\/"},"img":{"alt_text":"I primi passi della costruzione dell'insieme di Cantor","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/12\/insiemediCantor.png?resize=350%2C200","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/12\/insiemediCantor.png?resize=350%2C200 1x, https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/12\/insiemediCantor.png?resize=525%2C300 1.5x"},"classes":[]},{"id":514,"url":"https:\/\/xmau.com\/ilpost\/2015\/02\/10\/dimostrazioni-a-conoscenza-zero\/","url_meta":{"origin":2306,"position":2},"title":"Dimostrazioni a conoscenza zero","author":".mau.","date":"10\/02\/2015","format":false,"excerpt":"\u00c8 possibile convincere qualcuno che noi conosciamo un segreto, senza effettivamente rivelarglielo? A prima vista sembra impossibile, ma esiste un modo per renderlo pi\u00f9 che ragionevolmente certo.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2602,"url":"https:\/\/xmau.com\/ilpost\/2013\/05\/03\/parole-matematiche-funzione\/","url_meta":{"origin":2306,"position":3},"title":"Parole matematiche: funzione","author":".mau.","date":"03\/05\/2013","format":false,"excerpt":"Una parola relativamente moderna, ma che si \u00e8 espansa sin troppo.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2474,"url":"https:\/\/xmau.com\/ilpost\/2012\/02\/06\/parole-matematiche-monotono\/","url_meta":{"origin":2306,"position":4},"title":"Parole matematiche: monotono","author":".mau.","date":"06\/02\/2012","format":false,"excerpt":"Quando si inventano parole dando loro una patina di classicit\u00e0, e gli accenti contano","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2634,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/06\/quanto-e-irragionevolmente-efficace-la-matematica\/","url_meta":{"origin":2306,"position":5},"title":"Quanto \u00e8 &#8220;irragionevolmente efficace&#8221; la matematica?","author":".mau.","date":"06\/09\/2013","format":false,"excerpt":"Ogni tanto la banda dei matematici non-platonisti si risveglia. Solo che il matematico tipico di filosofia ne sa ben poca","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2306","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/comments?post=2306"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2306\/revisions"}],"predecessor-version":[{"id":2307,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2306\/revisions\/2307"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=2306"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=2306"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=2306"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}