Appunti Matematici 17

Patrizio Gravano

APPUNTI MATEMATICI

NOTE INTRODUTTIVE ALLA

TOPOLOGIA numero 17 – maggio 2016

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

INTRODUZIONE

Questo numero di Appunti Matematici, il numero 17 del mese di maggio 2016, contiene una sintesi, peraltro non esaustiva, degli elementi di topologia generale e algebrica che costituisce insegnamento del II anno di Matematica, da me mai approciato globalmente.

Non essendo io un matematico professionista ma un mero interessato cultore non ho certo, almeno per il momento, la velleità di dare contributi ad una materia che studio in itinere per la prima volta, nonostante il suo linguaggio simbolico abbia qualcosa di familiare ma pure rassicurante.

Pensiamo, ad esempio, alle funzioni e alla teoria degli insiemi, o, ancora, ai rudimenti del corso di Geometria che si porta a compimento anche a Ingegneria.

Già il titolo che ho scelto, “Note introduttive alla topologia” è espressione del carattere dimesso con il quale ho avviato questa scheda sintetica. È poi doveroso ricordare che molti concetti, ovviamente mi riferisco a quelli basici, mi sono noti, seppure secondo modalità più dimesse, come nel caso della continuità, mentre altri sono apparsi qua e là in diversi numero dei miei Appunti Matematici, come il caso degli insiemi, degli aperti, dei chiusi, della frontiera, etc.

Nel momento in cui scrivo questa breve introduzione (17 febbraio 2016) ho letto, per così dire in parallelo, una parte, quelle iniziali, di due testi che citerò tra le fonti.

Questo procedere ad tempus, dovendo peraltro già pensare al numero di maggio, che ho deciso di dedicare alle basi matematiche dell’elettronica digitale, non è un elemento rassicurante, ma non potevo dare spazio alla topologia e quanto ho assimilato da ieri mi induce ad certo ottimismo.

Patrizio Gravano patrizio.gravano@libero.it

-1-

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

NOTE INTRODUTTIVE ALLA TOPOLOGIA

La geometria razionale si caratterizza per lo studio delle proprietà delle figure non soggette a deformazioni anche se sono ampiamente ammessi movimenti rigidi di rotazione e di traslazione.

La topologia generale per contro studia le proprietà delle figure geometriche che si conservano anche per effetto di deformazioni significative.

Le figure geometriche possono subire delle trasformazioni.

Dette trasformazioni sono gli omeomorfismi e le omotopie.

Prima di entrare nel merito della topologia è bene partire da qualche concetto già noto.

Il primo concetto che si incontra è quello di grafo dello spazio euclideo. È un oggetto matematico costituito da punti (detti altrimenti nodi o vertici) alcuni dei quali sono collegati a lati (o spigoli).

L’intersezione di due archi definisce un nodo.

Il concetto di cammino è immediato.

Si parte da un nodo e si arriva ad un nodo finale passando per altri nodi…

Dato un nodo u di un grafo assegnato, viene definito grado di u il numero di lati che contengono u.

Nel novero dei grafi si distinguono quelli euleriani.

In essi esiste un cammino che passa per tutti i lati una ed una sola volta.

Un grafo è detto connesso quando ∀(u, v) esiste almeno un cammino che li collega.

A contrariis un grafo è non connesso quando esiste almeno una coppia (u,v) di nodi di esso per i quali non esista un lato di estremi u e v.

-2-

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

Una seconda nozione sicuramente importante è quella di continuitĂ . Ăˆ possibile considerare lo spazio ad n dimensioni, ovvero đ?‘… đ?‘› .

Sia x un punto di detto spazio, ovvero sia x ∈ đ?‘… đ?‘› .

Sia dato un sottoinsieme non vuoto A tale che A ⊂ � � .

A è una porzione dello spazio euclideo, un sottoinsieme di esso, possiamo anche dire un sottospazio.

Ciò premesso viene doveroso definire il concetto di punto aderente.

Il punto x è aderente ad un sottoinsieme A se è possibile trovare punti di A arbitrariamente vicini a x.

Tale locuzione deve essere intesa nel senso che dato x se esiste un a vicino ad esso ne esiste un secondo à ancor piÚ vicino, e quindi uno ulteriore à ’ ancora piÚ vicino, indefinitamente.

La distanza tra punti distinti dello spazio ad n dimensioni è quella ordinaria euclidea. d(x, y) = 2√∑đ?‘›đ?‘–=1(đ?‘Ľđ?‘– −đ?‘Śđ?‘– )2 Dati tre punti distinti di đ?‘… đ?‘› vale una nota diseguaglianza detta di Cauchy per la quale d(x, y) ≤ d(x, z) + d(z, y) La distanza tra due punti è un numero reale non negativo.

Occorre definire formalmente il concetto di metrica.

Una metrica su un dato insieme A è una funzione d avente come dominio coppie di A ⤍ A a valori di R che soddisfa le seguenti condizioni 1) d(a, b) = 0 â&#x;ş a = b 2) d(a, b) + d(a, c) ≼ d(b, c), ove a, b e c sono qualunque elementi di A. La 2) è detta diseguaglianza triangolare.

Un insieme A ed una metrica d(.) definiscono uno spazio metrico formalizzato come (A, d).

La metrica è altrimenti detta funzione distanza.

-3-

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

L’insieme A potrebbe benissimo essere R, ovvero l’insieme dei numeri reali.

R e la retta euclidea sono ponibili in corrispondenza biunivoca.

Ad un punto della retta corrisponde un numero reale e viceversa.

Si ammette che ∀(a, b) sia d(a,b) = d(b,a).

Ragionando nello spazio ad una dimensione, ovvero sulla retta reale la relazione 2) va precisata come segue Si ha d(b, c) = d(b, a) + d(a, c) quando a ∈(b,c), inteso come intervallo aperto.

Si ha d(a, b) + d(a, c) > d(b, c), quando a > max(đ?&#x2018;?, đ?&#x2018;?)đ?&#x2018;&#x153;đ?&#x2018;?đ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x;đ?&#x2018;&#x2019; a < min (b, c).

Si è ammesso implicitamente b < c.

A in generale è lâ&#x20AC;&#x2122;insieme đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; , đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;Łđ?&#x2018;&#x2019;đ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;&#x2122;đ?&#x2018;&#x153; spazio ad n dimensioni.

Occorre ricordare che dato uno spazio possono essere, per finalitĂ pratiche o teoriche, definite pi\ metriche.

A volte, ad esempio, viene richiesto di mostrare che per A = R d(x, y) = â&#x17D;šx - yâ&#x17D;š è una metrica.

Ho pensato alla corrispondenza tra R e i punti di una retta.

La 1) è immeditamente verificata.

Occorre passare alla 2).

Siano assegnati i punti x ed y distinti quindi tali che đ?&#x2018;&#x2018;(đ?&#x2018;Ľ, đ?&#x2018;Ś) â&#x2030; 0.

Poichè si opera in una dimensione ci si può ricondurre alla retta, ma in generale ad una curva qualunque, rispetto alla quale si introduce la ascissa curvilinea. Ă&#x2C6; sufficiente rimanere sulla retta reale.

Assegnati due punti qualunque, distinti, ovvero x ed y, esiste sempre un punto z, pure distinto da essi per iI quale detto punto e interno allâ&#x20AC;&#x2122;intervallo (x, y) oppure è esterno.

Nel primo caso la condizione 2) è verificata con il segno di eguaglianza, mentre per z esterno vale il segno â&#x20AC;&#x153;maggiore diâ&#x20AC;?.

-4-

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Si evince quindi che la d: (x,y) â&#x2020;&#x2019; đ?&#x2018;&#x2026; + â&#x2039;&#x192; {0} è una metrica nel senso della definizione.

Viene definita una particolare metrica detta discreta.

Essa è immediatamente definita come d(x, y) = 0 quando x = y e d(x, y)=1 quando x â&#x2030; đ?&#x2018;Ś.

La parte 1) è immediata.

Per la parte 2) è possibile considerare un punto z â&#x2030; đ?&#x2018;Ľ â&#x2030; đ?&#x2018;Ś.

In questo caso, sostituendo in formula, si ha 2 > 1, condizione sicuramente vera.

Ove si ammetta z = đ?&#x2018;Ś đ?&#x2018;&#x153;đ?&#x2018;&#x; đ?&#x2018;§ = đ?&#x2018;Ľ đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;&#x153;đ?&#x2018;Ąđ?&#x2018;Ąđ?&#x2018;&#x2013;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019; 1 = 1, đ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x;đ?&#x2018;&#x2019; đ?&#x2018;Łđ?&#x2018;&#x2019;đ?&#x2018;&#x;đ?&#x2018;&#x17D;.

Quella data è una metrica in đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; , al variare di n in N. Si può dimostrare, a contrariis, che in R la funzione d(.) tale che d(x, y) = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 non è una funzione che soggiace alle condizioni di una metrica.

Bisogna partire dalla condizione 1) dalla quale si ha che 0 = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 â&#x;š (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 = 0 â&#x;š đ?&#x2018;Ľ = đ?&#x2018;Ś Però da đ?&#x2018;Ľ = đ?&#x2018;Ś si ha (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 = (0 â&#x2C6;&#x2019; 0)2 = 0.

La prima parte è quindi giustificata.

Occorre considerare la seconda condizione.

Questa parte da una osservazione (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 = (đ?&#x2018;Ś â&#x2C6;&#x2019; đ?&#x2018;Ľ)2 â&#x2C6;&#x20AC;(x, y).

Ovvero si può dire che d(x,y) = d(y,x).

Ammettiamo sia z tale che z â&#x2C6;&#x2C6; (x, y) quindi sicuramente x < đ?&#x2018;§ < đ?&#x2018;Ś.

Ho evitato noiosi passaggi algebrici e imposto una condizione particolare ovvero x â&#x2030;Ľ 0.

Ho considerato quindi i punti x, z ed y sul semiasse positive delle x e i corrispondenti punti sullâ&#x20AC;&#x2122;asse delle ordinate.

Una mera rappresentazione grafica dimostra che il quadrato di lato (y â&#x20AC;&#x201C; x) non è equivalente alla somma dei quadrati di lati (z â&#x20AC;&#x201C; x) e (y â&#x20AC;&#x201C; z).

In queso caso, quindi, possiamo dire che

-5-

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

(đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 + (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;§)2 > (đ?&#x2018;Ś â&#x2C6;&#x2019; đ?&#x2018;§)2 Non è ammissibile il segno di eguaglianza.

Ma potrebbe essere anche z â&#x2C6;&#x2030; (x, y) ad esempio z â&#x2020;&#x2019; Âąâ&#x2C6;&#x17E;.

Anche in questi casi non è ammissibile, per z â&#x2030; đ?&#x2018;Ľ â&#x2030; đ?&#x2018;Ś il simbolo di eguaglianza.

Mi limito al caso in cui z sia interno allâ&#x20AC;&#x2122;intervallo (a,b) perchè tale caso porta ad una contraddizione che stoppa la dimostrazione.

Infatti che tale caso ho evidenziato che d(x, y) > đ?&#x2018;&#x2018;(đ?&#x2018;Ľ, đ?&#x2018;§) + đ?&#x2018;&#x2018;(đ?&#x2018;Ś, đ?&#x2018;§) Ma deve essere anche (condizione 2 di esistenza di una metrica) che d(x, y) + d(x, z) â&#x2030;Ľ d(y,z) Mi è nata una complicazione dalla esistenza del simbolo â&#x2030;Ľ che però ho dichiarato inamissibile.

Infatti detta relazione fosse per dati valori una eguaglianza si avrebbe (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2 + (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;§)2 = (đ?&#x2018;Ś â&#x2C6;&#x2019; đ?&#x2018;§)2 Essa è però definibile in termini di metrica euclidea standard.

In particolare si ha x=x y = x + đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (x, y) z = x + đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (x, z) La relazione diviene quindi (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś) )2 + (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś) â&#x2C6;&#x2019; đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 (â&#x2C6;&#x2019;đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś) )2 + (â&#x2C6;&#x2019;đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 = (â&#x2C6;&#x2019;đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś) â&#x2C6;&#x2019; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 2

(â&#x2C6;&#x2019;1)2 { (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś)) + (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 } = (-1) {đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś) + đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§)}2 2

(đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś)) + (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 = (â&#x2C6;&#x2019;đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś) â&#x2C6;&#x2019; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 2

2

(đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś)) + (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 = (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś)) + (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))2 + 2(đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś))(đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§))

-6-

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

0 = 2(đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś))(đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§)) Ciò è impossibile in quanto i punti sono distinti e (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;Ś)) â&#x2030; (đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; (đ?&#x2018;Ľ, đ?&#x2018;§)) â&#x2030; 0.

Questa considerazione mi ha consentito diâ&#x20AC;Ś (spiegare perchè e possibile togliere il simbolo eguale per poi sottrarre membro a membro).

Queste sono mie considerazioni a partire da un quesito posto senza dimostrazione da Czes Kosniowski (op. citata in bibliografia).

Tali osservazioni sono estensibili al caso generale d(x, y) = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2đ?&#x2018;&#x203A; â&#x2C6;&#x20AC;n Non sono funzioni definitorie di una distanza neppure quelle del tipo d(x, y) = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)2đ?&#x2018;&#x203A;+1 â&#x2C6;&#x20AC;n In questo caso le cose sono per cosĂŹ dire piĂš semplici.

Infatti, ad esempio, per un fissato x esiste uno, quindi infiniti y, tali che d(x,y) < 0.

Ciò deriva immediatamente dal fatto che è possibile avere almeno una, quindi infinite, coppia (x, y) per la quale (x-y) è negativo.

Ma un reale negativo elavato ad intero dispari è sicuramente dispari.

Tale esito non è ammissibile.

Esso non consente di definire una metrica in quando deve essere d(x,y) â&#x2030;Ľ 0 per ogni coppia (x,y).

Unificando gli esiti una funzione d(x, y) = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)đ?&#x2018;&#x161; â&#x2C6;&#x20AC;m â&#x17D;š m â&#x2C6;&#x2C6;N non definisce una metrica.

Ciò è vero anche per m = 0 in quanto d(x, y) = (đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;Ś)0 = 1 â&#x2C6;&#x20AC;(x, y) anche per x = y quando dovrebbe essere d(x, y) = 0.

Il testo chiedeva di dissertare sul caso m = 2 ma ho preferito considerare il caso generale.

-7-

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Nel testo introduttivo appena citato, di cui mi permetto di raccomandare la lettura, ho rinvenuto un altro interessante quesito cosĂŹ sintetizzabile.

Siano dati una metrica d e un reale positivo r.

Dimostrare che đ?&#x2018;&#x2018;đ?&#x2018;&#x; = rd è una metrica.

La prima parte è limpida. d(x, y) = 0 â&#x;šđ?&#x2018;&#x2018;đ?&#x2018;&#x; = r0 = 0 â&#x2C6;&#x20AC;r â&#x17D;š r â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; + .

Ma anche d(x, y) = k > 0 â&#x;šđ?&#x2018;&#x2018;đ?&#x2018;&#x; = rk > 0 â&#x2C6;&#x20AC;r â&#x17D;š r â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; + .

La limitazione su r (strettamente positivo) è alquanto opportuna.

Se d è una metrica è assunta per ipotesi la parte 2).

Ma moltiplicando una relazione, contenente â&#x2030;Ľ, per una costante positiva (strettamente) non modifica la relazione medesima, salvo che di un fattore positivo r (basta ricordare la teoria delle disequazioni).

Con la nozione di distanza viene ridefinito il concetto di aderenza.

Dato un insieme A non vuoto incluso propriamente nello spazio ad n dimensioni un punto p di esso è aderente allâ&#x20AC;&#x2122;insieme A se e solo se esiste un δ positivo per il quale esiste un x â&#x2C6;&#x2C6; A per il quale d(p,x) < đ?&#x203A;ż.

Sia p un punto di đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; aderente ad un insieme A. Sia f una trasformazione đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; â&#x2020;&#x2019; đ?&#x2018;&#x2026; đ?&#x2018;&#x161; per la quale il punto f(p) non è aderente al punto f(x) con x â&#x2C6;&#x2C6; A. Detta trasformazione è detta strappo o lacerazione.

Nel novero delle trasfrormazioni quelle continue sono quelle che conservano la aderenza, sinonimo di continuitĂ .

Si perviene pertanto alla seguente definizione di continuitĂ , ovvero di trasfrormazioni continue.

Sia A â&#x160;&#x201A; X â&#x160;&#x201A;đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; e sia B â&#x160;&#x201A; đ?&#x2018;&#x152; â&#x160;&#x201A; đ?&#x2018;&#x2026; đ?&#x2018;&#x161; Una applicazione f : X â&#x2020;&#x2019; Y è detta continua se â&#x2C6;&#x20AC;A â&#x160;&#x201A;X e â&#x2C6;&#x20AC;x â&#x2C6;&#x2C6;X aderente ad A il punto f(x) è aderente a f(A).

-8-

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Dalla nozione di aderenza si perviene alla nozione di insieme chiuso.

Sia C â&#x160;&#x201A;X â&#x160;&#x2020; đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; C è un insieme chiuso in X se â&#x2C6;&#x20AC;x â&#x17D;š x â&#x2C6;&#x2C6; X and x â&#x2C6;&#x2030; C esiste un δ > 0 â&#x17D;šd(x,y) â&#x2030;Ľ đ?&#x203A;ż â&#x2C6;&#x20AC;y â&#x2C6;&#x2C6; C. Ă&#x2C6; possibile definire il concetto di aperto.

Sia dato uno spazio metrico costiuito da un insieme A e da una metrica d, definito formalmente come (A, d).

Sia U un sottoinsieme di esso.

Sia x lâ&#x20AC;&#x2122;elemento rappresentativo dellâ&#x20AC;&#x2122;insieme U. Comunque si prenda x (per ogni x â&#x2C6;&#x2C6;U) esiste un numero reale non negativo đ?&#x153;&#x20AC;đ?&#x2018;Ľ tale che ogni punto y â&#x2C6;&#x2C6; A, distinto da x, per il quale d(x,y) < đ?&#x153;&#x20AC;đ?&#x2018;Ľ conduce a y â&#x2C6;&#x2C6;U. Gli aperti â&#x20AC;&#x153;si vedono beneâ&#x20AC;? in R e in đ?&#x2018;&#x2026; 2 .

Gli ottimi testi che ho consulatato abbonadano nel fornire esemplificazioni.

Voglio farne due forse con un poco di pedantezza, utile almeno, a chiarire il significato delle definizioni.

Leggo che U = {x â&#x17D;š xâ&#x2C6;&#x2C6;(0,1)} è un aperto nel senso della definizione data.

Lâ&#x20AC;&#x2122;insieme che si considera è costituito da tutti gli infiniti numeri reali maggiori di 0 e minori di 1.

1

Il numero x =2 â&#x2C6;&#x2C6;U. 1

Fissato x (come nel caso particolare considerato) ogni punto y, distinto da x, tale che d(2, y) < đ?&#x153;&#x20AC;đ?&#x2018;Ľ è elemento (appartiene quindiâ&#x20AC;Ś.) allâ&#x20AC;&#x2122;insieme U. Per quanto posto si doveva scrivere đ?&#x153;&#x20AC;1 .

2

Ma corre un quesito, ovvero chiedersi quanto vale đ?&#x153;&#x20AC;1 .

2

1

Per la simmetria del problema vale esattamente 2.

1

Questo perchè x =2 è il punto medio dellâ&#x20AC;&#x2122;insieme in argomento.

-9-

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Assegnando diversi valori a x si capisce agevolmente perchè si introduce il formalismo đ?&#x153;&#x20AC;đ?&#x2018;Ľ đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x2013;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019; ad evidenziare la dipendenza di Îľ dal punto x.

Si ponga x = 0,9.

In questo caso đ?&#x153;&#x20AC;0,9 = 0,1.

Viene definito un insieme simmetrico rispetto al punto x i cui punti y distinti da x sono tutti punti di U e sono tali che d(x, y) < đ?&#x153;&#x20AC;đ?&#x2018;Ľ .

Detto insieme è un intorno simmetrico centrato in x e viene formalizzato come đ??ľđ?&#x153;&#x20AC;đ?&#x2018;Ľ (đ?&#x2018;Ľ).

Esso ha natura di aperto.

Esistono infiniti đ??ľđ?&#x153;&#x20AC;đ?&#x2018;Ľ (đ?&#x2018;Ľ), uno per ogni x â&#x2C6;&#x2C6;U. Vorrei osservare che nel caso x =

1 2

1

1

si ha đ??ľđ?&#x153;&#x20AC;1 (2) = U ma che â&#x2C6;&#x20AC;x : x â&#x2030; 2 si ha che đ??ľđ?&#x153;&#x20AC;đ?&#x2018;Ľ (đ?&#x2018;Ľ) â&#x160;&#x201A; 2

đ?&#x2018;&#x2C6; (inclusione stretta).

Queste considerazioni valgono con riferimento al caso particolare considerato. Ă&#x2C6; ben evidente che se in luogo di d(x, y) < đ?&#x153;&#x20AC;đ?&#x2018;Ľ fosse d(x, y) â&#x2030;¤ đ?&#x153;&#x20AC;đ?&#x2018;Ľ đ?&#x2018;&#x17D;đ?&#x2018;&#x2122;đ?&#x2018;&#x2122;đ?&#x2018;&#x153;đ?&#x2018;&#x;đ?&#x2018;&#x17D; si sarebbe in presenza di un chiuso.

Vorrei passare a considerare un ben noto caso di aperto in đ?&#x2018;&#x2026; 2 .

Esso è {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 < 1} Esso è il luogo dei punti Îąâ&#x2030;Ą(x,y) del piano tali che d(Îą, đ?&#x203A;ź0 )< 1, đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;&#x2019; đ?&#x203A;ź0 â&#x2030;Ą (0,0).

Questo formalismo consente di definire un problema di đ?&#x2018;&#x2026; 2 come se fosse un problema di R. Tale luogo può essere considerato in senso piĂš ampio come {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 < đ?&#x2018;&#x; â&#x2C6;ś đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, + â&#x2C6;&#x17E;)} 2

Esso è il luogo dei punti Îąâ&#x2030;Ą(x,y) del piano tali che d(Îą, đ?&#x203A;ź0 )< â&#x2C6;&#x161;đ?&#x2018;&#x;, đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;&#x2019; đ?&#x203A;ź0 â&#x2030;Ą (0,0).

Questo formalismo consente, anche in questo caso, di definire un problema di đ?&#x2018;&#x2026; 2 come se fosse un problema di R. Detti luoghi sono aperti.

- 10 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

La scrittura {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 â&#x2030;¤ đ?&#x2018;&#x; â&#x2C6;ś đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, + â&#x2C6;&#x17E;)} definisce un chiuso.

Tra gli altri esempi di aperti si cita pure {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 > đ?&#x2018;&#x; â&#x2C6;ś đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, + â&#x2C6;&#x17E;)}.

Utilizzando le convenzioni piÚ sopra esplicitate si può dire che si tratta del luogo dei punti 2

Îąâ&#x2030;Ą(x,y) del piano tali che d(Îą, đ?&#x203A;ź0 )> â&#x2C6;&#x161;đ?&#x2018;&#x;, đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;&#x2019; đ?&#x203A;ź0 â&#x2030;Ą (0,0).

In questo caso le d(Îą, đ?&#x203A;ź0 ) collocate sulla retta reale definiscono in sottoinsieme proprio di đ?&#x2018;&#x2026; + 2

ben definite dallâ&#x20AC;&#x2122;intervallo illimitato superiormente formalizzato da ( â&#x2C6;&#x161;đ?&#x2018;&#x; , +â&#x2C6;&#x17E;), đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;&#x2019; đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, +â&#x2C6;&#x17E;).

2

Ă&#x2C6; evidente che esistono infiniti punti (x, y) del luogo cui corrisponde d(Îą, đ?&#x203A;ź0 ) = đ?&#x2018;&#x2DC; > â&#x2C6;&#x161;đ?&#x2018;&#x;.

Occorre considerare la nozione di topologia su un insieme X. Un insieme ha come sottoinsiemi di esso lâ&#x20AC;&#x2122;insieme vuoto, insieme privo di elementi, solitamente indicato con il simbolo â&#x2C6;&#x2026; e lâ&#x20AC;&#x2122;insieme X medesimo (inclusione impropria).

Si chiede di costruire una famiglia di sottoinsiemi di X che contenga sia lâ&#x20AC;&#x2122;insieme vuoto che X medesimo che un numero k di sottoinsiemi propri e che sia tale che lâ&#x20AC;&#x2122;unione e lâ&#x20AC;&#x2122;intersezione di elementi della famiglia sia pure element della famiglia.

In buona sostanza una famiglia è costituita da 2 elementi (sempre presenti) ovvero dallâ&#x20AC;&#x2122;insieme vuoto, â&#x2C6;&#x2026;, e dallâ&#x20AC;&#x2122;insieme X, oltre ad un numero discreto di sottoinsiemi propri di X (e siamo a n+2 membri della famiglia).

A questo punto entrano a far parte della famiglia tutti gli insiemi ottenuti dalla intersezione di due qualunque elementi della famiglia.

Lâ&#x20AC;&#x2122;ultimo step è costituito dalla condizione per la quale lâ&#x20AC;&#x2122;unione degli elementi di una famiglia è pure element della famiglia.

Dato un insieme non vuoto X sono definibili distinte famiglie di sottoinsiemi di X che verificano le condizioni indicate.

Solitamente una famiglia si indica con la lettera đ?&#x2019;°.

Lo spazio topologico viene formalizzato come (X, đ?&#x2019;°).

- 11 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Una ampia classe di problematiche è del tipo: dato X e data đ?&#x2019;° dire se (X, đ?&#x2019;°) è una topologia.

Ă&#x2C6; possibile fare un esempio considerando un singleton, insieme costituito da un solo elemento, per esempio ponendo X = {a}.

Per questo caso è definite una unica topologia.

Essa è đ?&#x2019;°1 = {â&#x2C6;&#x2026;, đ?&#x2018;&#x2039; = {đ?&#x2018;&#x17D;} } Che essa sia una topologia non e difficile da dimostrare.

Infatti gli insiemi â&#x2C6;&#x2026; đ?&#x2018;&#x2019; {đ?&#x2018;&#x17D;} appartengono alla famiglia.

Poi si può elementarmente affermare che â&#x2C6;&#x2026;â&#x2C6;Ş{đ?&#x2018;&#x17D;} â&#x2C6;&#x2C6; đ?&#x2019;°1 ed ancora è possibile dire che â&#x2C6;&#x2026; â&#x2C6;Ş {đ?&#x2018;&#x17D;} â&#x2C6;&#x2C6; đ?&#x2019;°1 .

Sono quindi realizzate tutte le condizioni per avere una topologia e per dire che ({a}, đ?&#x2019;°1 } è uno spazio topologico.

Ho tratto il caso del singleton per allenarmi, ma la letteratura ha definito il caso della famiglia studiata in senso piĂš ampio evidenziando che đ?&#x2019;° = {â&#x2C6;&#x2026;, đ?&#x2018;&#x2039; } è una topologia â&#x2C6;&#x20AC; X, essendo X un insieme.

Essa è nota come topologia banale.

Nella teoria insiemistica elementare è noto il concetto di insieme delle parti, inteso come lâ&#x20AC;&#x2122;insieme i cui elementi sono tutti i possibili sottoinsiemi dellâ&#x20AC;&#x2122;insieme X.

Una interesante lettura mi richiedeva di determinare il numero delle topologie per un insieme di tre elementi.

Il numero di esse, in generale, è 2đ?&#x2018;&#x203A; . Nel caso n = 3 il numero di esse sarĂ 8, tra cui quella banale.

- 12 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Tra esse esiste la seguente đ?&#x2019;°23 ={â&#x2C6;&#x2026;, {a}, {b}, {c}, {a, b}, {a,c}, {b,c}, {a, b, c}} Come nel caso del singleton si può agevolmente, seppure con un certo lavorio, evidenziare che gli elementi che compongono detta đ?&#x2019;° la definiscono una topologia.

Detta topologia è detta discreta e lo spazio corrispondentemente individuato è detto spazio topologico discreto.

La diseguaglianza triangolare a volte viene messa nella forma d(x,y) â&#x2030;¤d(x, z) + d(z, y) â&#x2C6;&#x20AC;x, y, e z di đ?&#x2018;&#x2026; đ?&#x2018;&#x203A;

Mi preme poter fare una digressione sulla metrica detta del taxi in đ?&#x2018;&#x2026; 2 .

Mi sono semplificato la vita considerando x, y e z reali positivi.

Dati due punti distinti X ed Y esiste una unica retta che passa per essi.

Un punto Z distinto da essi o apaprtiene alla retta per essi punti X ed Y. Si è giĂ evidenziato che se Z â&#x2C6;&#x2C6;(X, Y) allora vale il segno di eguaglianza nella relazione 2).

Si è giĂ precisato che se Zâ&#x2C6;&#x2C6;đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; ma Zâ&#x2C6;&#x2030; (đ?&#x2018;&#x2039;, đ?&#x2018;&#x152;) allora la relazione 2) è vera come diseguaglianza triangolare stretta.

Ma graficamente si evince, con tutta evenienza visiva, che esiste una ampia classe di punti di đ?&#x2018;&#x2026; 2 non appartenenti ad đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; .

Siano X â&#x2030;Ą (đ?&#x2018;Ľ1 , đ?&#x2018;Ľ2 ) e Y â&#x2030;Ą (đ?&#x2018;Ś1 , đ?&#x2018;Ś2 ) đ?&#x2018;&#x2013; punti dati.

Si considerino due punti H e K del piano dato tali che H â&#x2030;Ą (đ?&#x2018;Ľ1 , đ?&#x2018;Ś2 ) e K â&#x2030;Ą (đ?&#x2018;Ś1 , đ?&#x2018;Ľ2 ).

Detti punti delimitano elementarmente una regione rettangolare.

Esso è un chiuso che posso formalizzare come {(Îą, β) : đ?&#x2018;Ľ1 â&#x2030;¤ đ?&#x203A;ź â&#x2030;¤ đ?&#x2018;Ś1 , đ?&#x2018;Ľ2 â&#x2030;¤ đ?&#x203A;ź â&#x2030;¤ đ?&#x2018;Ś2 }.

- 13 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Riunendo gli esiti posso affermare che â&#x2C6;&#x20AC; Z â&#x2030;Ą(đ?&#x2018;§1 , đ?&#x2018;§2 ) : Z â&#x2C6;&#x2C6; {(Îą, β) : đ?&#x2018;Ľ1 â&#x2030;¤ đ?&#x203A;ź â&#x2030;¤ đ?&#x2018;Ś1 , đ?&#x2018;Ľ2 â&#x2030;¤ đ?&#x203A;ź â&#x2030;¤ đ?&#x2018;Ś2 }.

Queste argomentazioni valgono quando si considera đ?&#x2018;&#x2026; 2 e si considera la metrica definite come d(x, y) = â&#x2C6;&#x2018;đ?&#x2018;&#x2014; â&#x17D;š đ?&#x2018;Ľđ?&#x2018;&#x2014; â&#x2C6;&#x2019;đ?&#x2018;Śđ?&#x2018;&#x2014; â&#x17D;š ove j assume i valori 1 e 2.

Sempre nella logica della ammissibilitĂ di movimenti solo orizzontali e solo verticali (detta elementarmente topologia del taxista) per spostarsi da un punto X ad un punto Y queste considerazioni sono estensibili dallo spazio đ?&#x2018;&#x2026; 2 (piano) allo spazio đ?&#x2018;&#x2026; 3 e piĂš generalmente allo spazio ad n dimensioni, ovvero ad đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; .

Se đ?&#x2018;&#x2026; 2 è metrizzato nel senso euclideo la relazione di eguaglianza si ha se e solo se Z â&#x2C6;&#x2C6; (X, Y).

Senza riconsiderare i teoremi della geometria elementare è possibile darsi ragione del vigore della relazione triangolare nel senso di considerare una relazione contenente il solo simbolo > in luogo di â&#x2030;Ľ.

Sia T il terzo punto non allineato ai punti XY, ovvero sia T â&#x2C6;&#x2030; đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; . Ă&#x2C6; possibile usare il compasso con centro in X e apertura XT viene individuato il punto H, con centro in Y viene individuato sulla retta đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; un punto K. Il segment HK da conto del fatto che si tratta di una diseguaglianza.

Vorrei osservare che data la retta đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; e dato un T â&#x2C6;&#x2030; đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; esiste sicuramente una retta râ&#x20AC;&#x2122; (essa è unica) tale che râ&#x20AC;&#x2122; â&#x2C6;Ľ đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; .

In questo caso la relazione 2) definitoria della funzione metrica di distanza è scritta nella forma contenente il segno = per due distinti T â&#x2C6;&#x2C6; râ&#x20AC;&#x2122; detti rispettivamente đ?&#x2018;&#x2021;1 đ?&#x2018;&#x2019; đ?&#x2018;&#x2021;2 , per i quali triangoli đ?&#x2018;&#x2021;1 XY e đ?&#x2018;&#x2021;2 XY sono rettangoli, come si ha quando đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x2021;1 â&#x160;Ľ đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; e quando đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x2021;2 â&#x160;Ľ đ?&#x2018;&#x;đ?&#x2018;&#x2039;đ?&#x2018;&#x152; .

Queste considerazioni sono vere se la d(x,y) è quella ordinaria euclidea, definita come

- 14 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

d(x, y) = 2â&#x2C6;&#x161;â&#x2C6;&#x2018;đ?&#x2018;&#x203A;đ?&#x2018;&#x2013;=1(đ?&#x2018;Ľđ?&#x2018;&#x2013; â&#x2C6;&#x2019;đ?&#x2018;Śđ?&#x2018;&#x2013; )2 In đ?&#x2018;&#x2026; 2 si ha n = 2.

Fino ad ora ho considerato spazi reali, del tipo đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; , i cui elmenti, detti punti sono rappresentati da una sequenza ordinate del tipo (đ?&#x2018;Ľ1 , đ?&#x2018;Ľ2 â&#x20AC;Ś đ?&#x2018;Ľđ?&#x2018;&#x2DC; â&#x20AC;Ś . đ?&#x2018;Ľđ?&#x2018;&#x203A; ), rispetto ad un sistema di assi ortogonali (a due a due). Ă&#x2C6; però necessario ricordare che esistono spazi aventi come elementi numeri complessi.

Detti spazi sono detti spazi complessi. â&#x20AC;&#x153;Lâ&#x20AC;&#x2122;insieme dei nuneri complessi â&#x201E;&#x201A; è in bigezione naturale con il piano đ?&#x2018;&#x2026; 2 â&#x20AC;? (Minetti, op. cit).

Vorrei ricordare che questa asserzione si evidenzia immediatamente ricordando che un numero complesso z può essere inteso come coppia ordinata di numeri reali z â&#x2020;&#x201D; (x, y) con (x, y) â&#x2C6;&#x2C6; R⤍R Come noto, i numeri complessi sono rappresentabili nel piano detto di Gauđ?&#x203A;˝ đ??´đ?&#x2018;&#x;đ?&#x2018;&#x201D;đ?&#x2018;&#x17D;đ?&#x2018;&#x203A;đ?&#x2018;&#x2018; đ?&#x2018;&#x160;đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;.

Per ogni utile osservazione sui numeri complessi rimando ai miei precedenti Appunti matematici o, meglio, ai testi universitari in uso.

A questi fini occorre definire la distanza tra numeri complessi posti nel piano di Gauđ?&#x203A;˝ đ??´đ?&#x2018;&#x;đ?&#x2018;&#x201D;đ?&#x2018;&#x17D;đ?&#x2018;&#x203A;đ?&#x2018;&#x2018; đ?&#x2018;&#x160;đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;.

Siano đ?&#x2018;§1 đ?&#x2018;&#x2019; đ?&#x2018;§2 due numeri complessi distinti, la relativa funzione distanza è formalizzabile come segue d : â&#x201E;&#x201A;⤍â&#x201E;&#x201A; â&#x2020;&#x2019; đ?&#x2018;&#x2026; ove d(đ?&#x2018;§1 , đ?&#x2018;§2 ) = â&#x17D;šđ?&#x2018;§1 â&#x2C6;&#x2019;đ?&#x2018;§2 â&#x17D;š =â&#x17D;šđ?&#x2018;Ľ1 +jđ?&#x2018;Ś1 - (đ?&#x2018;Ľ2 +jđ?&#x2018;Ś2 )â&#x17D;š = â&#x17D;šđ?&#x2018;Ľ1 +jđ?&#x2018;Ś1 - đ?&#x2018;Ľ2 - jđ?&#x2018;Ś2 )â&#x17D;š = â&#x17D;š(đ?&#x2018;Ľ1 2

đ?&#x2018;Ľ2 ) + đ?&#x2018;&#x2014;(đ?&#x2018;Ś1 - đ?&#x2018;Ś2 )â&#x17D;š = â&#x2C6;&#x161;(đ?&#x2018;Ľ1 â&#x2C6;&#x2019;đ?&#x2018;Ľ2 )2 +(đ?&#x2018;Ś1 â&#x2C6;&#x2019;đ?&#x2018;Ś2 )2 Per essa si evidenzia immediatamente che d(đ?&#x2018;§1 , đ?&#x2018;§2 ) =0 â&#x2021;&#x201D; đ?&#x2018;§1 = đ?&#x2018;§2 Ed anche d(đ?&#x2018;§1 , đ?&#x2018;§2 ) â&#x2030; 0 â&#x2021;&#x201D; đ?&#x2018;§1 â&#x2030; đ?&#x2018;§2 Ricordare che in â&#x201E;&#x201A; (insieme non archimedeo) non sono definite relazioni dâ&#x20AC;&#x2122;ordine del tipo < đ?&#x2018;&#x153; > tra elementi di esso. â&#x2C6;&#x20AC;đ?&#x2018;§3 : đ?&#x2018;§3 â&#x2C6;&#x2C6;đ?&#x2018;&#x;đ?&#x2018;§1 ,đ?&#x2018;§2 con đ?&#x2018;§3 â&#x2C6;&#x2C6;( đ?&#x2018;§1 , đ?&#x2018;§2 ) allora d(đ?&#x2018;§1 , đ?&#x2018;§2 ) = d(đ?&#x2018;§1 , đ?&#x2018;§3 ) + d(đ?&#x2018;§3 , đ?&#x2018;§2 )

- 15 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Vorrei osservare che per đ?&#x2018;§1 , đ?&#x2018;§2 assegnati esistono 4 punti (quindi 4 numeri complessi đ?&#x2018;§3,đ?&#x2018;&#x2014; non allineati a đ?&#x2018;§1 đ?&#x2018;&#x2019; đ?&#x2018;§2 ) per i quali vale d(đ?&#x2018;§1 , đ?&#x2018;§2 ) = d(đ?&#x2018;§1 , đ?&#x2018;§3 ) + d(đ?&#x2018;§3 , đ?&#x2018;§2 ).

Detti punti si trovano su rette parallele tra loro ed ortogonali alla retta đ?&#x2018;&#x;đ?&#x2018;§1 ,đ?&#x2018;§2 .

La distanza di dette rette parallele vale â&#x17D;š đ?&#x2018;§1 â&#x2C6;&#x2019;đ?&#x2018;§2 â&#x17D;š Ogni đ?&#x2018;§3 tale che appartiene ad una delle due citate rette parallele verifica la condizione d(đ?&#x2018;§1 , đ?&#x2018;§2 ) = d(đ?&#x2018;§1 , đ?&#x2018;§3 ) + d(đ?&#x2018;§3 , đ?&#x2018;§2 ).

Per ogni altro punto vale d(đ?&#x2018;§1 , đ?&#x2018;§2 ) < d(đ?&#x2018;§1 đ?&#x2018;§) + d(z, đ?&#x2018;§2 ).

Anche in queste considerazioni j è lâ&#x20AC;&#x2122;operatore di rotazione, che, in termini algebrici, vale j =â&#x2C6;&#x161;â&#x2C6;&#x2019;1 Ritornando a đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; se A e B sono due sottoinsiemi propri non vuoti di esso allora se Aâ&#x2C6;Š đ??ľ = â&#x2C6;&#x2026; e se Aâ&#x2C6;Şđ??ľ = đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; allora se A è un chiuso B è un aperto e viceversa.

Deve essere data la definizione di omeomorfismo.

Un omeomorfismo è una applicazione, quindi una funzione, continua bigettiva e con inversa continua.

Due sottoinsiemi non vuoti di đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; sono omeomorfi se esiste un omeomorfismo tra essi.

Il punto chiave è avere due sottoinsiemi distinti di đ?&#x2018;&#x2026; đ?&#x2018;&#x203A; .

Occorre individuare una funzione che faccia corrispondere ad un elemento di un insieme uno ed un solo elemento del secondo insieme e viceversa. Ă&#x2C6; quello che accade con le funzioni continue che si studiano in Analisi.

- 16 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Per il topologo una funzione come f(x) = 2x con la restrizione dom f = (0, 1) è un omeomorfismo quando si considera Im f = (0, 2).

(0, 1) e (0, 2) sono due spazi indistinguibili dal punto di vista topologico, e sono detti omeomorfi.

In generale, per detta funzione sono omeomorfi gli spazi (0 , k) e (0, 2k).

La f considerata è monotona strettamente crescente, pure continua. đ?&#x2018;Ľ

Essa ammette una inversa y = 2.

Essa è pure continua.

In buona sostanza dati due spazi distinti essi possono essere detti omeomorfi se esiste una funzione continua, bigettiva e con inversa continua.

Vorrei ricordare anche il concetto di monotonia.

Esso dovrebbe essere ben noto, comunque sarĂ bene ricordarlo.

Una funzione f è monotona se a distinti valori di x corrispondono distinti valori di y. In questi casi si hanno funzioni strettamente crescenti e funzioni strettamente decrescenti. Ă&#x2C6; il caso delle funzioni esponenziale e logaritmica che sono lâ&#x20AC;&#x2122;una lâ&#x20AC;&#x2122;inversa dellâ&#x20AC;&#x2122;altra.

In alcuni casi la crescenza e la decrescenza non sono strette ma comunque si parla di monotonia.

Una funzione può essere intesa monotona crescente in senso debole (non decrescente), non quindi strettamente, quando risulta che f(x+dx) â&#x2030;Ľ đ?&#x2018;&#x201C;(đ?&#x2018;Ľ) â&#x2C6;&#x20AC;x : xâ&#x2C6;&#x2C6; (đ?&#x2018;&#x17D;, đ?&#x2018;?) con f(a) â&#x2030;¤ đ?&#x2018;&#x201C;(đ?&#x2018;Ľ) â&#x2030;¤ đ?&#x2018;&#x201C;(đ?&#x2018;?), essendo dom f = âŚ&#x2039;a, bâŚ&#x152; con a < đ?&#x2018;?.

In questo caso la funzione è monotona crescente.

Una funzione è per contro strettamente crescente e quindi monotona quando sia f(x+dx) > đ?&#x2018;&#x201C;(đ?&#x2018;Ľ) â&#x2C6;&#x20AC;x : xâ&#x2C6;&#x2C6; (đ?&#x2018;&#x17D;, đ?&#x2018;?) con f(a) < đ?&#x2018;&#x201C;(đ?&#x2018;Ľ) < đ?&#x2018;&#x201C;(đ?&#x2018;?), essendo dom f = âŚ&#x2039;a, bâŚ&#x152; con a < đ?&#x2018;?.

- 17 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Nelle asserzioni fatte, sostituendo i simboli â&#x2030;Ľ đ?&#x2018;&#x2019; > rispettivamente con i simboli â&#x2030;¤ đ?&#x2018;&#x2019; < si ottengono facilmente le definizioni di funzione non crescente e di funzione monotona strettamente decrescente.

Vanno fatte ulteriori considerazioni sugli omeomorfismi.

Per esempio dato lo spazio âŚ&#x2039;a, bâŚ&#x152;â&#x160;&#x201A; R si può dire che lo spazio âŚ&#x2039;a+Ď&#x201E;, b+Ď&#x201E;âŚ&#x152;â&#x160;&#x201A; R è ad esso omeomorfo in quanto esiste una f : x â&#x2020;&#x2019; x +Ď&#x201E; â&#x2C6;&#x20AC;x : x â&#x2C6;&#x2C6; âŚ&#x2039;a, bâŚ&#x152;â&#x160;&#x201A; R. Vorrei osservare che dato lo spazio âŚ&#x2039;a, bâŚ&#x152;â&#x160;&#x201A; R si può dire che lo spazio âŚ&#x2039;a+ đ?&#x153;?1 , b+ đ?&#x153;?2 âŚ&#x152;â&#x160;&#x201A; R è ad esso omeomorfo in quanto esiste una f : xâ&#x2020;&#x2019;mx +p ove si ha che m =

đ?&#x2018;?â&#x2C6;&#x2019;đ?&#x2018;&#x17D;+đ?&#x153;?2 â&#x2C6;&#x2019;đ?&#x153;?1 đ?&#x2018;?â&#x2C6;&#x2019;đ?&#x2018;&#x17D;

Vorrei poi osservare che allo spazio âŚ&#x2039;a+Ď&#x201E;, b+Ď&#x201E;âŚ&#x152; si giuge dallo spazio âŚ&#x2039;a, bâŚ&#x152; per traslazione del dominio della funzione.

La relazione di omeomorfismo è una relazione di equivalenza.

Uno spazio è omeomorfo a se stesso.

Vale la relazione simmetrica. Se uno spazio A è omeomorfo allo spazio B allora lo spazio B è omeomorfo allo spazio A. Vale anche la proprietà transitiva. Due spazi omeomorfi ad un terzo sono omeomorfi.

Giunti a questo punto è bene ricordare alcuni particolari punti della teoria degli insiemi e della teoria delle funzioni.

Il primo concetto da considerare è quello di sottoinsieme saturo.

Data una f : X â&#x2020;&#x2019; Y (ovvero una applicazione da X a Y) sia A â&#x160;&#x201A; Y i sottoinsiemi đ?&#x2018;&#x201C; â&#x2C6;&#x2019;1 (A) = {x â&#x2C6;&#x2C6; X : f(x) â&#x2C6;&#x2C6;A } si dicono saturi rispetto ad f.

Viene chiamata fibra đ?&#x2018;&#x2018;đ?&#x2018;&#x2013; đ?&#x2018;&#x201C; đ?&#x2018; đ?&#x2018;˘ đ?&#x2018;Ś đ?&#x2018;&#x2122;đ?&#x2018;&#x17D; đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x201D;đ?&#x2018;˘đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;&#x201C; â&#x2C6;&#x2019;1 ({y)}.

- 18 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Interessanti sviluppi della teoria degli insiemi sono contenuti in Minetti (op. cit.), al cap. 2, cui si rimanda ampiamente.

Già è stata introdotta la definizione di spazio topologico.

Un approccio ulteriore consente di dire che dato uno spazio costituito da elementi detti punti esso è munito di una struttura topologica.

Viene quindi definite un criterio che consente, dato uno spazio, di stabilire se un punto è interno, esterno o di frontiera.

La condizione â&#x20AC;&#x153;x è un punto interno di Xâ&#x20AC;? è ben formalizzata dalla stenografia x â&#x2C6;&#x2C6; X. â&#x2C6;&#x20AC;x : x â&#x2C6;&#x2C6; X è interno di X. La condizione â&#x20AC;&#x153;x è un punto esterno di Xâ&#x20AC;? è ben formalizzata dalla stenografia x â&#x2C6;&#x2030; X. â&#x2C6;&#x20AC;x : x â&#x2C6;&#x2030; X è esterno di X. Un discorso particolare deve essere fatto per i punti di frontiera.

Essi non sono nè interni nè esterni ad un dato spazio X. A livello elementare un punto x è detto di frontiera per X se esiste un intorno simmetrico di esso arbitrariamente piccolo che contenga almeno un punto đ?&#x2018;Ľâ&#x20AC;˛đ?&#x2018;Ľ non appartemente ad X. Per frontiera si intende lâ&#x20AC;&#x2122;insieme i cui elementi sono solo e tutti i punti di frontiera di un dato spazio chiuso. Ă&#x2C6; bene ribadire anche la nozione di intorno in termini formali.

Un intorno di un punto x è un sottoinsieme, indicato con U, di X se esiste un V (aperto) per il quale sia x â&#x2C6;&#x2C6; V e V â&#x160;&#x201A; U. Nello studio della topologia il termine interno ha anche un altro significato e viene riferito ad un sottoinsieme di uno spazio topologico.

Sia dato uno spazio topologico X.

- 19 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Sia Y un sottoinsieme proprio di esso.

Lâ&#x20AC;&#x2122;interno, in questo contesto, viene definito come il piĂš grande aperto di X contenuto in Y. Si ammette sia assegnato X e sia dato Y. Ciò posto in generale esiste una intera famiglia di aperti contenuti in X. Tra essi si considera quello â&#x20AC;&#x153;il piĂš grandeâ&#x20AC;? da intendere come quello che li contiene tutti.

Esso è ben formalizzato come đ?&#x2018;&#x152;Ě&#x2021; = â&#x2039;&#x192;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014;

Al di lĂ del formalismo me ne sono dato una â&#x20AC;&#x153;rappresentazioneâ&#x20AC;? in đ?&#x2018;&#x2026; 2 .

Basta disegnare un chiuso.

Ad esempio quello giĂ considerato, ovvero {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 â&#x2030;¤ đ?&#x2018;&#x; â&#x2C6;ś đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, + â&#x2C6;&#x17E;)}.

Posso sicuramente dire che quello definite è il mio spazio, risultando esso una parte di uno spazio topologico euclideo a partire da đ?&#x2018;&#x2026; 2 .

Da un punto di vista logico e formale detto insieme è lâ&#x20AC;&#x2122;insieme Y della definizione.

In buona sostanza gli đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; della definizione ad esempio sarebbero quelli del tipo {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 < đ?&#x2018;&#x; â&#x20AC;˛ : đ?&#x2018;&#x; â&#x20AC;˛ â&#x2030;¤ đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, + â&#x2C6;&#x17E;)}.

A questo punto ho impostato una riflessione sulla cui ammissibilitĂ non sono ancora giunto ad una risposta definitiva.

Ammettiamo che sia definite â&#x20AC;&#x153;il piĂš grandeâ&#x20AC;? aperto, quello che poi viene definito lâ&#x20AC;&#x2122;interno.

Varrebbe in generale tra r ed râ&#x20AC;&#x2122; una relazione del tipo râ&#x20AC;&#x2122; +dr = r, ma dr è un infinitesimo, interpretabile come una variabile tendente a zero.

Quindi non esiste un râ&#x20AC;&#x2122; dipendente da r che mi consenta di dire che il corrispondente aperto è il piĂš grande aperto.

A fortiori per r dato è ammissibile considerare un aperto non munito di una particolare simmetria rispetto al centro.

- 20 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

In questo caso esistono sicuramente due punti interni a Y la cui distanza euclidea da (0,0) vale rispettivamente đ?&#x2018;&#x;â&#x20AC;˛â&#x2C6;&#x2019; <r ed đ?&#x2018;&#x;â&#x20AC;&#x2122;â&#x20AC;&#x2122; â&#x2C6;&#x2019; < đ?&#x2018;&#x; con đ?&#x2018;&#x;â&#x20AC;˛ â&#x2030; râ&#x20AC;&#x2122;â&#x20AC;&#x2122; per i quali si ha (xâ&#x20AC;&#x2122;, yâ&#x20AC;&#x2122;) : d( (xâ&#x20AC;&#x2122;, yâ&#x20AC;&#x2122;) (0, 0) )= đ?&#x2018;&#x;â&#x20AC;˛â&#x2C6;&#x2019; e (xâ&#x20AC;&#x2122;â&#x20AC;&#x2122;, yâ&#x20AC;&#x2122;â&#x20AC;&#x2122;) : d( (xâ&#x20AC;&#x2122;â&#x20AC;&#x2122;, yâ&#x20AC;&#x2122;â&#x20AC;&#x2122;) (0, 0) ) = đ?&#x2018;&#x;â&#x20AC;˛â&#x20AC;˛â&#x2C6;&#x2019;

Ma per i dati del problema esiste sicuramente un distinto đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; per il quale si possa scrivere {(x, y) â&#x2C6;&#x2C6;đ?&#x2018;&#x2026; 2 : đ?&#x2018;Ľ 2 +đ?&#x2018;Ś 2 < max(đ?&#x2018;&#x; â&#x20AC;˛ â&#x2C6;&#x2019; , đ?&#x2018;&#x; â&#x20AC;˛â&#x20AC;˛ â&#x2C6;&#x2019; ): đ?&#x2018;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;Ľ(đ?&#x2018;&#x; â&#x20AC;˛ â&#x2C6;&#x2019; , đ?&#x2018;&#x; â&#x20AC;˛â&#x20AC;˛ â&#x2C6;&#x2019; ) â&#x2030;¤ đ?&#x2018;&#x;: đ?&#x2018;&#x; â&#x2C6;&#x2C6; (0, + â&#x2C6;&#x17E;)}.

Vorrei ricordare che esiste un particolare formalismo che designa la frontiera.

Esso è il seguente Ó&#x2DC;Y La frontiera viene anche chiamata bordo.

Il Cap. II del testo di Kosniowski si caratterizza per la concisione e vi si rimanda ampiamente.

In esso sono contenuti interessanti esercizi, che peraltro, presume, data la basicitĂ , si potranno trovare anche in altri testi.

Vorrei concentrare la mia attenzione sui seguenti.

1)

Y è chiuso se e solo se Ó&#x2DC;Y â&#x160;&#x2020; Y Si tratta di dimostrare una coimplicazione.

La prima parte della dimostrazione è del tipo (Y è un chiuso â&#x2021;&#x2019; Ó&#x2DC;Y â&#x160;&#x2020; Y).

Si potrebbe anche osservare đ?&#x2018;&#x152;Ě&#x2026; = Y â&#x2C6;Ş Ó&#x2DC;Y (infatti piĂš avanti verrĂ definite il concetto di chiusura).

- 21 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122; đ?&#x2018;?đ?&#x2018;&#x17D;đ?&#x2018; đ?&#x2018;&#x153; di un chiuso si ha Ó&#x2DC;Y â&#x160;&#x201A; Y quindi la relazione precedente diviene đ?&#x2018;&#x152;Ě&#x2026; = Y. La frontiera è il luogo dei punti y per i quali, dato x punto interno, da distanza del punto x dal punto y vale đ?&#x153;&#x20AC;đ?&#x2018;Ľ .

Ogni punto z allineato con x ed y per il quale d(x, z) < đ?&#x153;&#x20AC;đ?&#x2018;Ľ è un punto interno.

La frontiera è parte costitutiva di un chiuso (nel senso che ogni elemento di essa è parte del chiuso).

Mi sono chiesto che significato ha Y = Ó&#x2DC;Y. Formalmente si potrebbe pensare ad un x â&#x2C6;&#x2030; Y per il quale se y è un elemento della frontiera vale la relazione d(x, y) = đ?&#x153;&#x20AC;đ?&#x2018;Ľ (đ?&#x2018;Ś). Ă&#x2C6; il caso della circonferenza, o di ogni altra curva chiusa di đ?&#x2018;&#x2026; 2 .

Nel caso Ó&#x2DC;Y â&#x160;&#x201A; Y risulta Ó&#x2DC;Y = { y : d(x, y) =đ?&#x2018;&#x2019;đ?&#x2018;Ľ (y) â&#x2C6;&#x20AC;x :x â&#x160;&#x201A; X}.

Ma Y risulta costituito oltre che dai punti Ó&#x2DC;Y = { y : d(x, y) =đ?&#x2018;&#x2019;đ?&#x2018;Ľ (y) â&#x2C6;&#x20AC;x :x â&#x160;&#x201A; X} che costituiscono la frontiera anche dai punti d(x, y) < đ?&#x2018;&#x2019;đ?&#x2018;Ľ (y) â&#x2C6;&#x20AC;x :x â&#x160;&#x201A; X. Se Y fosse un aperto allora non sarebbe Ó&#x2DC;Y â&#x160;&#x2020;Y in quanto per un aperto i punti Ó&#x2DC;Y = { y : d(x, y) =đ?&#x2018;&#x2019;đ?&#x2018;Ľ (y) â&#x2C6;&#x20AC;x :x â&#x160;&#x201A; X} non sono del luogo.

2)

Data la topologia naturale per a < đ?&#x2018;? allora si ha Ó&#x2DC;(a,b) = Ó&#x2DC;âŚ&#x2039;a, bâŚ&#x152; ={a,b} I due insiemi che si considerano sono gli insiemi aperti a destra e a sinistra di estremi a e b e lâ&#x20AC;&#x2122;insieme chiuso pure di estremi a e b, con a < đ?&#x2018;?.

La topologia naturale presuppone che d(a,b) =|b-a|.

Nel primo caso si ha a che fare con un aperto.

Sono punti del luogo solo i punti x ed y, con x < đ?&#x2018;Ś tali che la coppia (x, y) appartiene a (x, y).

Per essi d(x,y) =|y- x| < d(a,b) =|b-a|.

La frontiera è costituita dai punti a e b, rispettivamente, ovvero si ha Ó&#x2DC;(a,b) ={a,b}.

Ciò è vero anche per lâ&#x20AC;&#x2122;insieme âŚ&#x2039;a, bâŚ&#x152;.

- 22 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Con le limitazioni fatte sono del luogo i punti e ed y tali che d(x,y) =|y - x| â&#x2030;¤ d(a,b) =|b-a|.

La frontiera e anche in questo caso lâ&#x20AC;&#x2122;insieme {a,b}.

Occorre prendere in considerazione un ulteriore concetto topologico, quello di chiusura.

Dato uno spazio topologico X se si considera un suo sottoinsieme proprio Y allora al piĂš piccolo chiuso di X contenuto in Y si attribuisce il nome di chiusura.

La chiusura viene inficata con il formalismo đ?&#x2018;&#x152;Ě&#x2026; =â&#x2039;&#x201A;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ??šđ?&#x2018;&#x2014; riferendosi a tutti i chiusi di X contennti Y. In topologia naturale (a, b) ha come chiusura âŚ&#x2039;a, bâŚ&#x152;.

Quando si fanno le riflessioni sulla chiusura è bene considerare una assegnata topologia.

Ad esempio se si ha lo spazio topologico R con la topologia naturale.

Lâ&#x20AC;&#x2122;insieme N dei naturali privati dello zero è sicuramente un sottoinsieme proprio di R. Esso è A = N - {0}.

Viene richiesto di determinare la chiusura di esso.

R è illimitato, sia superiormente che inferiormente.

A è illimitato superiormente, essendo minA = 1.

Occorre trovare un insieme che contenga A. Esso deve essere anche il piĂš piccolo e definisce la cosiddetta chiusura.

Questo è semplicemente lâ&#x20AC;&#x2122;insieme i cui elementi sono i numeri reali r â&#x2030;Ľ 1.

Per le argomentazioni sovraesposte la chiusura di A è lâ&#x20AC;&#x2122;insieme đ??´Ě&#x2026; tale che đ??´Ě&#x2026; = âŚ&#x2039;1, +â&#x2C6;&#x17E;).

Ogni altro insieme A* â&#x2030; đ??´Ě&#x2026; = âŚ&#x2039;1, +â&#x2C6;&#x17E;) per il quale A* â&#x160;&#x2020; R non è la chiusura perchè contiene almeno, quindi infiniti, un elemento Ď&#x201E; : Ď&#x201E; â&#x2C6;&#x2030; đ??´Ě&#x2026; come sarebbe, per esempio, per A* = âŚ&#x2039;0, +â&#x2C6;&#x17E;).

- 23 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Vanno riconsiderate le funzioni continue.

Esiste infatti una ulteriore definizione per la quale una funzione f : X â&#x2020;&#x2019; Y tra due spazi topologici (X ed Y) è continua se ogni aperto di X la controimmagine đ?&#x2018;&#x201C; â&#x2C6;&#x2019;1 (U) è aperta in X.

La stessa definizione di omeomorfismo, già data, è riformulabile, in termini equivalenti, come segue.

Due spazi topologici X ed Y sono omeomorfi se e solo se esistono due funzioni continue f e g tale che g =đ?&#x2018;&#x201C; â&#x2C6;&#x2019;1 .

Si utilizza il simbolismo X â&#x2030;&#x192; Y.

Uno degli aspetti centrali della topologia è la definizione di un nuovo spazio topologico a partire da uno spazio topologico assegnato.

Viene ad essere introdotta una topologia detta indotta.

Sia dato uno spazio topologico X. Sia S un sottoinsieme di esso.

Su S viene definite una topologia a partire da quella di X, detta indotta (dalla topologia di X).

S è detto sottospazio.

Lâ&#x20AC;&#x2122;iter logico che conduce alla topologia indotta è sostanzialmente il seguente.

Si parte da X (spazio topologico).

Si considera lâ&#x20AC;&#x2122;insieme đ?&#x2019;° i cui elementi sono tutti e soli gli aperti di X. Quindi si considera lâ&#x20AC;&#x2122;insieme i cui elementi sono gli aperti di S nella topoligia indotta.

Detto insieme lo si indica con đ?&#x2018;&#x2C6;đ?&#x2018; avendosi che đ?&#x2018;&#x2C6;đ?&#x2018; = {U â&#x2039;&#x201A; S : U â&#x2C6;&#x2C6; đ?&#x2019;° }.

- 24 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Detta topologia è anche chiamata topolologia relativa.

S è un sottospazio di X.

Si è detto che â&#x20AC;&#x153;spazi omoemorfi sono indistinguibili per il topologoâ&#x20AC;?.

A pag. 25 del suo â&#x20AC;&#x153;Introduzione alla topologia algebricaâ&#x20AC;?, Czes Kosniowski da conto dellâ&#x20AC;&#x2122;omeomorfismo cerchio quadrato considerando 4 distinti punti sulla circonferenza a formare un quadrato, â&#x20AC;&#x153;raddizzandoâ&#x20AC;? gli archi da detti punti individuati.

Se đ?&#x2018;Ľ1 , đ?&#x2018;Ľ2 , đ?&#x2018;Ľ3 đ?&#x2018;&#x2019; đ?&#x2018;Ľ4 sono detti punti è possibile considerare le rette passanti per esse che si intersecano nel centro del cerchio.

Mi sono convinto che su dette rette sono individuati il quadrato inscritto e il quadrato circoscritto al dato cerchio.

Ciò consente di definire un omeomorfismo che dia conto della eguale estensione superficiale del cerchio e del quadrato, realizzando quindi figure equivalenti, aventi eguale area della superficie.

Neanche in questo caso si possono unire punti distinti e neppure â&#x20AC;&#x153;operare dei tagliâ&#x20AC;?.

Anche tenuto conto di quanto detto in precedenza vorrei considerare due ulteriori semplici esampi di studio di spazi omeomorfi con considerazioni che formulo a partire da due esercizi che ho rinvenuto nel testo di Koznioswski citato.

Il primo esempio riguarda lo studio dellâ&#x20AC;&#x2122;omeomorfismo tra gli spazi (1, +â&#x2C6;&#x17E;) e (0, 1) studiati come sottospazi di R munito della metrica ordinaria. Ă&#x2C6; possibile â&#x20AC;&#x153;vedereâ&#x20AC;? i due sottospazi di R in un riferimento cartesiano ortogonale.

1

Opportunamente lâ&#x20AC;&#x2122;Autore consiglia di usare la funzione x â&#x2020;&#x2019;đ?&#x2018;Ľ.

Essa è immediatamente dimostrabile come una funzione monotona e continua anche quando viene considerata nel caso particolare dom f = (0, 1).

Per essa infatti dati i punti đ?&#x2018;Ľ1 đ?&#x2018;&#x2019; đ?&#x2018;Ľ2 distinti tali che essi siano inclusi in (0 , 1) si ottiene immediatamente f( đ?&#x2018;Ľ1 ) â&#x2030; f( đ?&#x2018;Ľ2 ) â&#x2C6;&#x20AC; đ?&#x2018;Ľ1 , đ?&#x2018;Ľ2 nel dominio di f.

Ammetto, per assurdo, sia

- 25 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

1 đ?&#x2018;Ľ1

=

1 đ?&#x2018;Ľ2

â&#x2021;&#x2019; đ?&#x2018;Ľ2 = đ?&#x2018;Ľ1 , contro lâ&#x20AC;&#x2122;ipotesi đ?&#x2018;Ľ2 â&#x2030; đ?&#x2018;Ľ1

La scelta è poi suffragata da un limite ovvero da lim

1

đ?&#x2018;Ľâ&#x2020;&#x2019;+0+ đ?&#x2018;Ľ

=+â&#x2C6;&#x17E;

Ho rinvenuto un secondo esercizio con il quale veniva richiesto di giustificare la indistinguibilitĂ topologica tra R e un suo sottospazio (a, b) con a < đ?&#x2018;?.

Il testo suggerisce di considerare la funzione f per la quale x â&#x2020;&#x2019; tan Ď&#x20AC;(cx + d).

Non ho ritenuto di sviluppare quelle riflessioni ma piuttosto di proporre una chiave di lettura generale.

Ho deciso di considerare un riferimento cartesiano ortogonale.

Il sottospazio (a, b) coincide con lâ&#x20AC;&#x2122;intervallo aperto (a, b) sullâ&#x20AC;&#x2122;asse delle ascisse.

Considero due rette parallele tra loro ortogonali allâ&#x20AC;&#x2122;asse delle ascisse.

Ogni curva monotona continua che passi per un punto Ď&#x201E; â&#x2C6;&#x2C6; (a, b) : y(Ď&#x201E;) = 0 per la quale sia dom f= (a, b) e per la quale le rette y =a e y = b risultino asintoti verticali, ovvero sia lim+ đ?&#x2018;&#x201C;(đ?&#x2018;Ľ) đ?&#x2018;Ľâ&#x2020;&#x2019;đ?&#x2018;&#x17D;

=Âąâ&#x2C6;&#x17E; e limâ&#x2C6;&#x2019; đ?&#x2018;&#x201C;(đ?&#x2018;Ľ) =â&#x2C6;&#x201C;â&#x2C6;&#x17E; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x; đ?&#x2018;&#x2122;đ?&#x2018;&#x17D; đ?&#x2018;&#x17E;đ?&#x2018;˘đ?&#x2018;&#x17D;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019; đ?&#x2018;&#x201C;(đ?&#x153;?1 ) â&#x2030; đ?&#x2018;&#x201C;(đ?&#x153;?2 ) è un omeomorfismo. đ?&#x2018;Ľâ&#x2020;&#x2019;đ?&#x2018;?

Questa non è di per se una dimostrazione ma credo dia lâ&#x20AC;&#x2122;idea su che tipo di f si debba lavorare in questo caso.

Potrebbe, ad esempio, considerarsi un caso molto simmetrico, quello per il quale sia Ď&#x201E; â&#x2C6;&#x2C6; (a, b) : y(Ď&#x201E;) = 0 per Ď&#x201E;=

đ?&#x2018;?+đ?&#x2018;&#x17D; 2

, centro dellâ&#x20AC;&#x2122;intorno (a, b).

Questo caso ha il pregio di dividere il dominio di definizione della funzione due intervalli del tipo (a, đ?&#x153;? â&#x2C6;&#x2019; ) e ( đ?&#x153;? + , b), essendo Ď&#x201E;=

đ?&#x2018;?+đ?&#x2018;&#x17D; 2

costituiti da punti simmetrici Ď&#x2021; e đ?&#x153;&#x20AC; rispetto al punto Ď&#x201E; in

relazione ai quali si può ammettere sia f(đ?&#x153;&#x2019;) = â&#x2C6;&#x2019;đ?&#x2018;&#x201C;(đ?&#x153;&#x20AC;)

Si avrebbe dom f = (a, đ?&#x153;? â&#x2C6;&#x2019; ) â&#x2C6;Ş {Ď&#x201E;} â&#x2C6;Ş ( đ?&#x153;? + , b).

- 26 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Argomentando dale osservazioni di pag. 25 del Kosniowski si comprende che gli intervalli (0 , 1) e âŚ&#x2039; 0 , 1 âŚ&#x152; non sono omeomorfi.

In quella sede viene enunciato un crierio di non omomorfeità di intervalli che enunzierò alla fine di alcune riflessioni piÚ elementari.

Ammetto la corrispondenza data dalla funzione identitĂ f(Îą) = Îą.

Siano ad esempio X ed Y i due sottinsiemi di R. f : X = (0 , 1) â&#x2020;&#x2019; Y = âŚ&#x2039; 0 , 1 âŚ&#x152; â&#x17D;¸ f(Îą) =Îą â&#x2C6;&#x20AC; Îą â&#x2C6;&#x2C6; (0 , 1) Ciò sarebbe vero se fosse f : X = (0 , 1) â&#x2020;&#x2019; Yâ&#x20AC;&#x2122; = ( 0 , 1 ) â&#x17D;¸ f(Îą) =Îą â&#x2C6;&#x20AC; Îą â&#x2C6;&#x2C6; (0 , 1) Ma Yâ&#x20AC;&#x2122; â&#x160;&#x201A; Y in quanto Y = Yâ&#x20AC;&#x2122; â&#x2039;&#x192; ({0}â&#x2039;&#x192;{1}) Nel caso di specie non posso dire f(0) = 0 e f(1) = 1.

Se X â&#x2030;&#x192; Y allora non deve ritenersi che in generale X â&#x2030;&#x201E; K quando Y â&#x160;&#x201A; K. Poichè X è un aperto Y deve essere un aperto e K tale che Y â&#x160;&#x201A; K è tale che sia pure esso un aperto affinchè sia X â&#x2030;&#x192; Y.

In questo caso esiste una funzione Ď&#x2020; : X â&#x2020;&#x2019; K che associa ad un x â&#x2C6;&#x2C6; X un k â&#x2C6;&#x2C6; K, â&#x2C6;&#x20AC; đ?&#x2018;Ľ.

Ho fatto qualche disegno ed evidenziato che se esiste una funzione h per la quale si ammette â&#x201E;&#x17D;

â&#x201E;&#x17D;â&#x2C6;&#x2019;1

aperto X â&#x2020;&#x2019; aperto Y â&#x2020;&#x2019; aperto X allora si deve ammettere che ne esistano infinite.

Stessa riflessione vale per i chiusi â&#x201E;&#x17D;

â&#x201E;&#x17D;â&#x2C6;&#x2019;1

chiuso X â&#x2020;&#x2019; chiuso Y â&#x2020;&#x2019; chiuso X

- 27 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

In realtà le h coinvolte non sono le medesime funzioni in quanto una funzione f è definita anche dal dominio e il dom X non è lo stesso se X è un aperto o un chiuso.

In realtĂ il testo citato enunciava pure un interessante criterio per il quale se due spazi sono omeomorfi, ovvero indistinguibili dal topologo, nel senso seguente.

Se due spazi sono omeomorfi, ovvero esiste una funzione f che associa ad un punto di X uno ed un solo punto di Y, si considera un đ?&#x2018;Ľ0 â&#x2C6;&#x2C6; X e il corrispondente đ?&#x2018;Ś0 = đ?&#x2018;&#x201C;(đ?&#x2018;Ľ0 ) allora gli spazi X -{ đ?&#x2018;Ľ0 } e Y -{ f(đ?&#x2018;Ľ0 )} sono omeomorfi.

Un passo ulteriore a partire da uno spazio topologico X è la topologia quoziente.

Sia dato uno spazio topologico X. Sia f una funzione suriettiva, ovvero tale da istituire una corrispondenza che associa ad un elemento x â&#x2C6;&#x2C6; X uno ed un solo y â&#x2C6;&#x2C6; Y tale che â&#x2C6;&#x20AC;y â&#x2C6;&#x2C6; Y sia in corrispondenza con un x â&#x2C6;&#x2C6; X.

La topologia su Y è definita dallâ&#x20AC;&#x2122;insieme avente come elementi tutti gli aperti U â&#x160;&#x2020; Y per I quali sia đ?&#x2018;&#x201C; â&#x2C6;&#x2019;1 (U) e un aperto di X.

Essa si indica come đ?&#x2019;°đ?&#x2018;&#x201C; = { U â&#x160;&#x2020; Y : đ?&#x2018;&#x201C; â&#x2C6;&#x2019;1 (U) è un aperto in X}.

Un ulteriore sviluppo è costituito dai cosiddetti spazi prodotto.

Deve essere definito il cosiddetto prodotto topologico di spazi topologici.

Siano dati due distinti spazi topologici X ed Y e siano U e V i generici aperti di X ed Y rispettivamente.

Sia J un insieme di indici con j â&#x2C6;&#x2C6; J.

- 28 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

In via di definizione si ammette che il prodotto di spazi topologici abbia un topologia definita dalla unione di prodotti di aperti dei dati spazi topologici.

Essa è formalizzata nel modo seguente đ?&#x2019;°đ??´â¤Źđ??ľ = {â&#x2039;&#x192;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; ⤏ đ?&#x2018;&#x2030;đ?&#x2018;&#x2014; ove đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; đ?&#x2018;&#x2019; đ?&#x2018;&#x2030;đ?&#x2018;&#x2014; sono aperti inclusi propriamente di A e B}.

Analogamente si definisce il prodotto per un numero arbitrario di spazi topologici.

Prima di considerare I cosidettti spazi compatti è bene parire dalla deifnizione di invariante topologico.

Dati due spazi omeomorfi, ovvero per X â&#x2030;&#x192; Y una proprietĂ che vale in X vale anche in Y. Tale proprietà è detta invariante topologico.

In generale si afferma che â&#x20AC;&#x153;tutte le proprietĂ che valgono in uno spazio topologico valgono anche in ogni spazio ad esso omeomorfoâ&#x20AC;?.

Viene definite una prima proprietĂ detta compattezza.

Si considera lâ&#x20AC;&#x2122;intervallo âŚ&#x2039;0, 1âŚ&#x152; con la topologia indotta.

Data una qualunque famiglia di aperti tale che â&#x2039;&#x192;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; = âŚ&#x2039;0, 1âŚ&#x152; è possibile considerare una sottofamiglia finite la cui unione sia ancora tutto lâ&#x20AC;&#x2122;intervallo âŚ&#x2039;0, 1âŚ&#x152;.

Va data la definizione di ricoprimento.

Dato un insieme X ed un sottoinsieme S si dice ricoprimento di S una famiglia di sottoinsiemi di X tali che S â&#x160;&#x2020; â&#x2039;&#x192;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; Se J ha cardinalitĂ finita il ricoprimento viene detto finito.

1

1

Si è soliti affermare (Kosniowski, op cit.) che la collezione di insiemi {(đ?&#x2018;&#x203A; , 1 - đ?&#x2018;&#x203A; ) : n â&#x2C6;&#x2C6; N} è un ricoprimento di (0, 1) â&#x160;&#x201A; R.

- 29 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Credo sia ammissibile giustificare ciò nei termini seguenti.

1

1

Al variare di n in N si ha che i membri della collezione sono rispettivamente ( 2 , 1), 2, etc ma al limite per n â&#x2020;&#x2019; +â&#x2C6;&#x17E; si ottiene il sottoinsieme (0+ , 1â&#x2C6;&#x2019; ).

Al variare di n đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;&#x153;đ?&#x2018;Ąđ?&#x2018;Ąđ?&#x2018;&#x2013;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019; đ?&#x2018;?â&#x201E;&#x17D;đ?&#x2018;&#x2019; â&#x2039;&#x192;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; = (0+ , 1) â&#x160;&#x201A; (0, 1).

Questo esito è conforme alla definizione.

Un dato sottoinsieme S di X ammette piĂš ricoprimenti.

Siano dati due distinti ricoprimenti indicati come đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; e đ?&#x2018;&#x2030;đ?&#x2018;&#x2DC; .

Ciò posto è possibile dare la definizione di sottoricoprimento. đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; è un sottoricoprimneto di đ?&#x2018;&#x2030;đ?&#x2018;&#x2DC; se â&#x2C6;&#x20AC; j esiste un k tale che đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; = đ?&#x2018;&#x2030;đ?&#x2018;&#x2DC; .

Per i ricoprimenti ho usato un formalismo blando in realtĂ si tratta di una unione insiemistica (come da definizione).

A questo punto sovviene una definizione un poco complessa.

Per un insieme S, sottoinsieme di uno spazio topologico X, un suo ricoprimento {â&#x2039;&#x192;đ?&#x2018;&#x2014;â&#x2C6;&#x2C6;đ??˝ đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; } è aperto se ogni đ?&#x2018;&#x2C6;đ?&#x2018;&#x2014; è un aperto di X â&#x2C6;&#x20AC; j â&#x2C6;&#x2C6; J.

Quindi si perviene alal definizione di sottoinsieme compatto.

Dato uno spazio topologico X un suo sotoinsieme S si dice compatto se ogni ricoprimento aperto di S ammette un sottoricoprimento finito.

Questa asserzione vale per lo spazio topologico X. Uno spazio topologico X si dice compatto se ogni suo ricoprimento aperto contiene un sottoricoprimento finito.

- 30 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Occorre ora considerare i cosiddetti spazi di Hausdorff.

Uno spazio topologico è di Hausdorff se comunque vengano presi due punti di esso, x ed y, esistono due aperti di x ed y, contenenti rispettivamente detti punti, indicate, rispettivamente, come đ?&#x2018;&#x2C6;đ?&#x2018;Ľ đ?&#x2018;&#x2019; đ?&#x2018;&#x2C6;đ?&#x2018;Ś per i quali sia sia đ?&#x2018;&#x2C6;đ?&#x2018;Ľ â&#x2039;&#x201A; đ?&#x2018;&#x2C6;đ?&#x2018;Ś = â&#x2C6;&#x2026;.

La materia è ben trattata nel testo di Kosniowski al Cap. 8.

Vorrei fare qualche semplice riflessione.

Lo spazio R con la ordinaria metrica eucludea è uno spazio di Hausdorff. Ă&#x2C6; sufficiente considerare due punti a e b (con a < đ?&#x2018;?) sulla retta reale.

Per comoditĂ si può ammettere che sia min(a, b) > 0. Ă&#x2C6; possibile considerare un Îľ > 0 che definisca un aperto contenente b, la cui frontiera è lâ&#x20AC;&#x2122;insieme {b â&#x20AC;&#x201C; đ?&#x153;&#x20AC;đ?&#x2018;? , b + đ?&#x153;&#x20AC;đ?&#x2018;? }.

In particolare è possibile considerare un đ?&#x153;&#x20AC;đ?&#x2018;? > 0 â&#x2C6;ś đ?&#x2018;&#x2018;(đ?&#x2018;?, b â&#x20AC;&#x201C; đ?&#x153;&#x20AC;đ?&#x2018;? ) < đ?&#x2018;&#x2018;(đ?&#x2018;?, đ?&#x2018;&#x17D;).

Da ora in avanti considero solo gli đ?&#x153;&#x20AC;đ?&#x2018;? > 0 â&#x2C6;ś đ?&#x2018;&#x2018;(đ?&#x2018;?, b â&#x20AC;&#x201C; đ?&#x153;&#x20AC;đ?&#x2018;? ) < đ?&#x2018;&#x2018;(đ?&#x2018;?, đ?&#x2018;&#x17D;). Ă&#x2C6; molto intuitivo ammettere che per â&#x2C6;&#x20AC; đ?&#x153;&#x20AC;đ?&#x2018;? > 0 â&#x2C6;ś đ?&#x2018;&#x2018;(đ?&#x2018;?, b â&#x20AC;&#x201C; đ?&#x153;&#x20AC;đ?&#x2018;? ) < đ?&#x2018;&#x2018;(đ?&#x2018;?, đ?&#x2018;&#x17D;) â&#x2C6;&#x192;! đ?&#x153;&#x20AC;đ?&#x2018;&#x17D; : d(a, a+đ?&#x153;&#x20AC;đ?&#x2018;&#x17D; ) = d(b, b â&#x20AC;&#x201C; đ?&#x153;&#x20AC;đ?&#x2018;? ), Si desume agevolmente che dato đ?&#x153;&#x20AC;đ?&#x2018;? > 0 â&#x2C6;ś đ?&#x2018;&#x2018;(đ?&#x2018;?, b â&#x20AC;&#x201C; đ?&#x153;&#x20AC;đ?&#x2018;? ) < đ?&#x2018;&#x2018;(đ?&#x2018;?, đ?&#x2018;&#x17D;) đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x153; đ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x2013;đ?&#x2018;Ąđ?&#x2018;&#x2013; aperti simmetrici di a che verificano le condizioni del problema.

Essi sono formalizzati dallâ&#x20AC;&#x2122;insieme ( 0 , đ?&#x153;&#x20AC;đ?&#x2018;&#x17D; đ?&#x153;&#x20AC; ). đ?&#x2018;?

Pertanto ogni Ď&#x2021; â&#x2C6;&#x2C6; ( 0 , đ?&#x153;&#x20AC;đ?&#x2018;&#x17D; đ?&#x153;&#x20AC; ) con le indicate limitazioni verifica le condizioni del problema đ?&#x2018;?

ovvero è tale che sia đ?&#x2018;&#x2C6;đ?&#x2018;Ľ â&#x2039;&#x201A; đ?&#x2018;&#x2C6;đ?&#x2018;Ś = â&#x2C6;&#x2026;.

Dalla definizione dello spazio di Hausdorff si giunge alla definizione degli spazi đ?&#x2018;&#x2021;đ?&#x2018;&#x2DC; ove k assume via via i valori 0, 1, 2, 3 e 4.

- 31 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Si opera nellâ&#x20AC;&#x2122;ambito degli spazi metrizzabili, dotati di una metrica.

Si dovrĂ evidenziare che risulta sempre đ?&#x2018;&#x2021;đ?&#x2018;&#x2DC; â&#x2021;&#x2019;đ?&#x2018;&#x2021;đ?&#x2018;&#x2DC;â&#x2C6;&#x2019;1.

Proceduto con la tassonomia vedremo che lo spazio đ?&#x2018;&#x2021;2 coincide in via di definizione con lo spazio di Hausdorff.

Giova partire dallo spazio đ?&#x2018;&#x2021;0 .

In questo spazio si considera una coppia qualunque di punti (elementi di esso). â&#x2C6;&#x20AC; đ?&#x2018;Ľ, đ?&#x2018;Ś â&#x2C6;ś x â&#x2030; đ?&#x2018;Ś , (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ : x â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ and y â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ ).

U designa un aperto.

Bisogna ora considerare gli spazi del tipo đ?&#x2018;&#x2021;1 Anche in questo particolare spazio si considera una coppia qualunque di punti (elementi di esso).

In questo caso si può formalizzare il tutto nel modo seguente â&#x2C6;&#x20AC; đ?&#x2018;Ľ, đ?&#x2018;Ś â&#x2C6;ś x â&#x2030; đ?&#x2018;Ś , (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ : ( x â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ , đ?&#x2018;Ś â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ )) and (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ś ( y â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ś , đ?&#x2018;Ľ â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ś )).

Finalmente si arriva agli spazi del tipo đ?&#x2018;&#x2021;2 .

Questo caso impone una particolare restrizione nel senso che tra tutti gli aperti contenenti i punti x ed y elementi di detto spazio si ammette esistano aperti đ?&#x2018;&#x2C6;đ?&#x2018;Ľ đ?&#x2018;&#x2019; đ?&#x2018;&#x2C6;đ?&#x2018;Ś , contenenti rispettivamente x ed y per i quali oltre a valere â&#x2C6;&#x20AC; đ?&#x2018;Ľ, đ?&#x2018;Ś â&#x2C6;ś x â&#x2030; đ?&#x2018;Ś , (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ : ( x â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ , đ?&#x2018;Ś â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ )) and (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ś ( y â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ś , đ?&#x2018;Ľ â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ś )) sia pure đ?&#x2018;&#x2C6;đ?&#x2018;Ľ â&#x2039;&#x201A; đ?&#x2018;&#x2C6;đ?&#x2018;Ś = â&#x2C6;&#x2026; Un ulteriore ampliamento si ha con lâ&#x20AC;&#x2122;introduzione degli spazi đ?&#x2018;&#x2021;3 .

In questo caso è verificata la condizione che definisce đ?&#x2018;&#x2021;1 .

Siano dati un punto x ed un sottoinsieme chiuso F tale che x â&#x2C6;&#x2030; F. Si ammette che esistano due intorni disgiunti tali che uno contenga x ma non F e il secondo contenga F.

- 32 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Questo tipo di spazio in letteratura è chiamato regolare.

Esso è formalizzabile nel modo seguente â&#x2C6;&#x20AC; đ?&#x2018;Ľ, đ??š â&#x2C6;ś x â&#x2C6;&#x2030; F , (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ : ( x â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ , đ??š â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ľ )) and (â&#x2C6;&#x192; đ?&#x2018;&#x2C6;đ?&#x2018;Ś ( F â&#x2C6;&#x2C6; đ?&#x2018;&#x2C6;đ?&#x2018;Ś , đ?&#x2018;Ľ â&#x2C6;&#x2030; đ?&#x2018;&#x2C6;đ?&#x2018;Ś )).

F è un chiuso.

Tale organizzazione di spazi è ampliabile a definire gli spazi topologici detti đ?&#x2018;&#x2021;4 .

Per essi sono verificate le condizioni đ?&#x2018;&#x2021;1 .

Siano dato due chiusi đ??š1 đ?&#x2018;&#x2019; đ??š2 tali che đ??š1 â&#x2039;&#x201A; đ??š2 = â&#x2C6;&#x2026;.

Dati questi due chiusi disgiunti esistono due aperti đ?&#x2018;&#x2C6;đ??š1 đ?&#x2018;&#x2019; đ?&#x2018;&#x2C6;đ??š2 contenenti đ??š1 đ?&#x2018;&#x2019; đ??š2 , rispettivamente, per i quali sia đ?&#x2018;&#x2C6;đ??š1 â&#x2039;&#x201A; đ?&#x2018;&#x2C6;đ??š2 = â&#x2C6;&#x2026;.

Va considerata la relazione tra spazi di Hausdorff e spazi metrici.

Ogni spazio metrico è di Hausdorff ma non vale il contrario.

Colgo lâ&#x20AC;&#x2122;occasione per introdurre due concetti forse usati implicitamente ma che necessitano di una deifnizione formale, il concetto di intorno e quello di palla.

Sia x un elmento dello spazio topologico X, ovvero sia x â&#x2C6;&#x2C6; X. Sia U â&#x160;&#x201A; X. Ammettiamo esista un aperto V â&#x160;&#x201A; U tale che x â&#x2C6;&#x2C6; V. Se V esiste si dice che U è un intorno di x.

Sia dato uno spazio X munito di una metrica d.

Viene definita limitazione standard di d la seguente applicazione lineare đ?&#x2018;&#x2018;Ě&#x2026; : X Ă&#x2014; X â&#x2020;&#x2019; đ?&#x2018;&#x2026; + : đ?&#x2018;&#x2018;Ě&#x2026; (x, y) = min (1, d(x,y) ) Dato uno spazio metrico (X, d) il sottoinsieme B(x, r) = {y â&#x2C6;&#x2C6; X : d(x,y) < đ?&#x2018;&#x; }

- 33 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

viene detta palla aperta di centro x edi raggio r.

Essa si interpreta immediatamente nel senso che si considera un punto x â&#x2C6;&#x2C6; X quindi si ammette che siano elementi del luogo tutti e solo gli y â&#x2C6;&#x2C6; X tali che, rispetto ad una preassegnata metrica d, risulti vero che d(x, y) < đ?&#x2018;&#x;.

Siano due punti distinti di uno spazio di Hausdorff.

Per una qualunque metrica è vero che d(x,y) > 0.

Rispetto a detti punti è possibile definire due classi di palle, una per x e lâ&#x20AC;&#x2122;altra per y, al variare di r.

Esse sono rispettivamente B(x, r) = {z â&#x2C6;&#x2C6; X : d(x , z) < đ?&#x2018;&#x; } Bâ&#x20AC;&#x2122;(y, r) = {y â&#x2C6;&#x2C6; X : d(y , z) < đ?&#x2018;&#x; } La dimostrazione rigorosa è contenuta in Manetti, pag. 63.

Essa èabbastanza intuitiva specie se ci riferisce a R, ovvero alla retta reale Basta disegnare i punti x ed y.

La distanza tra essi vale â&#x17D;¸y â&#x20AC;&#x201C; x â&#x17D;¸ Si considerino gli intorni simmetrici di x e di y al variare di r.

Esiste un r, commune ai due punti, detto đ?&#x2018;&#x;0 per il quale risulta â&#x17D;¸y â&#x20AC;&#x201C; x â&#x17D;¸= 2đ?&#x2018;&#x;0 In questo caso B(x, đ?&#x2018;&#x;0 ) = {z â&#x2C6;&#x2C6; X : d(x , z) < đ?&#x2018;&#x;0 } Bâ&#x20AC;&#x2122;(y, đ?&#x2018;&#x;0 ) = {y â&#x2C6;&#x2C6; X : d(y , z) < đ?&#x2018;&#x;0} da cui B(x, đ?&#x2018;&#x;0 ) â&#x2039;&#x201A; Bâ&#x20AC;&#x2122;(y, đ?&#x2018;&#x;0 ) = â&#x2C6;&#x2026; Questo vale a fortiori per ogni r < đ?&#x2018;&#x;0 .

- 34 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Per râ&#x20AC;&#x2122; = râ&#x20AC;&#x2122;â&#x20AC;&#x2122; > đ?&#x2018;&#x;0 anche graficamente si evince che B(x, râ&#x20AC;&#x2122; > đ?&#x2018;&#x;0 ) â&#x2039;&#x201A; Bâ&#x20AC;&#x2122;(y, đ?&#x2018;&#x;â&#x20AC;˛ > đ?&#x2018;&#x;0 ) = I(

đ?&#x2018;Ľ+đ?&#x2018;Ś 2

, râ&#x20AC;&#x2122;â&#x20AC;&#x2122;â&#x20AC;&#x2122;(râ&#x20AC;&#x2122;=râ&#x20AC;&#x2122;â&#x20AC;&#x2122;) )

Non vale il contrario, nel senso che non ogni spazio metrico è di Hausdorff.

Una ulteriore proprietà di cui può godere uno spazio topologico, o un suo sottoinsieme, è rapprsentata dalla connessione.

Si parla al riguardo di spazi topologici connessi.

La connessione ha una immediate intuitive spiegazione, nel senso di definire connessi spazi topologici interi, ovvero â&#x20AC;&#x153;non divisi in partiâ&#x20AC;?.

Data una parte di uno spazio ogni sottoinsieme di essa è aperto o chiuso.

Essi sono aperti e chiusi dello spazio intero.

La parte è contemporaneamente aperta e chiusa.

Sia dato uno spazio topologico X. Lo spazio topologico X è connesso se e solo se i soli sottoinsiemi sia aperti che chiusi sono lâ&#x20AC;&#x2122;insieme vuoto e lâ&#x20AC;&#x2122;insieme X. La situazione può essere vista a contrariis ovvero X e uno spazio topologico connesso se non e lâ&#x20AC;&#x2122;unione di due aperti non vuoti disgiunti.

(X = A â&#x2039;&#x192; B : A e B sono aperti, A â&#x2039;&#x201A; B = â&#x2C6;&#x2026; ) â&#x2021;&#x2019; X non è connesso.

Vi è un insieme non connesso molto usato, anche nelle dimostrazioni, ovvero {Âą1}, ovvero lâ&#x20AC;&#x2122;insieme i cui elementi sono i punti â&#x20AC;&#x201C; 1 e + 1.

Esso è banalmente lâ&#x20AC;&#x2122;unione dei due insiemi {1 } đ?&#x2018;&#x2019; {â&#x2C6;&#x2019;1 }.

Detti insiemi sono immediatamente due aperti.

Ogni intervallo della retta reale è connesso.

- 35 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

I connessi possono essere sia aperti che chiusi.

Non è vero in generale che lâ&#x20AC;&#x2122;unione di intervalli di R è un connesso.

Ad esempio se tra i numeri (o punti) a, b, c esiste una relazione dâ&#x20AC;&#x2122;ordine <.

X = { (a , b ) â&#x2039;&#x192; ( b , c) : a < đ?&#x2018;? < đ?&#x2018;? } non è un connesso.

Si consideri Xâ&#x20AC;&#x2122; = (a, c).

I due insiemi non coincidono, infatti esiste un xâ&#x20AC;&#x2122; â&#x2C6;&#x2C6; Xâ&#x20AC;&#x2122; quindi infiniti tali che xâ&#x20AC;&#x2122; â&#x2C6;&#x2030; X. Detti xâ&#x20AC;&#x2122; sono quelli di un intervallo (xâ&#x20AC;&#x2122; â&#x20AC;&#x201C; dx, xâ&#x20AC;&#x2122; + dx).

Xâ&#x20AC;&#x2122; = (a, c) è connesso.

Xâ&#x20AC;&#x2122;â&#x20AC;&#x2122;= { (a , b âŚ&#x152; â&#x2039;&#x192; âŚ&#x2039; b , c) : a < đ?&#x2018;? < đ?&#x2018;? } è un connesso.

Dato R un insieme I â&#x160;&#x201A; đ?&#x2018;&#x2026; è connesso in due casi solamente, quando I è un intervallo oppure quando I è un punto.

Nel primo caso si ha I = { x â&#x17D;¸ a < đ?&#x2018;Ľ < đ?&#x2018;?, đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A; đ?&#x2018;&#x17D; < đ?&#x2018;? â&#x17D;¸ đ?&#x2018;&#x17D; â&#x2C6;&#x2C6; đ?&#x2018;&#x2026;, đ?&#x2018;? â&#x2C6;&#x2C6; đ?&#x2018;&#x2026;} Mi sono ripromesso di evidenziarlo ammettendo che esista un đ?&#x2018;Ľ0 â&#x2C6;&#x2C6; (a, b).

Esso esiste perchè per ipotesi I è un intervallo.

In realtĂ ne esistono infiniti.

Sia đ?&#x2018;Ľ0 â&#x2C6;&#x2C6; (a, b) uno qualunque di essi. Ă&#x2C6; possibile scrivere I â&#x2030; Ă&#x152; â&#x2039;&#x192; Ă&#x152;â&#x20AC;&#x2122; ove Ă&#x152; = {x : a < đ?&#x2018;Ľ < đ?&#x2018;Ľ0 ) e Ă&#x152;â&#x20AC;&#x2122; = {x : đ?&#x2018;Ľ0 < đ?&#x2018;Ľ < đ?&#x2018;? } Infatti I = ( Ă&#x152; â&#x2039;&#x192; Ă&#x152;â&#x20AC;&#x2122; ) â&#x2039;&#x192; {đ?&#x2018;Ľ0 } Sia dato un insieme {đ?&#x2018;Ľ0 } â&#x160;&#x201A; đ?&#x2018;&#x2026; , đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;&#x2019; R è la retta reale.

Ciò discende dal fatto che {đ?&#x2018;Ľ0 } â&#x2030; (- â&#x2C6;&#x17E;, đ?&#x2018;Ľ0 ) â&#x2039;&#x192; (đ?&#x2018;Ľ0 , +â&#x2C6;&#x17E;)

- 36 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Vorrei fare un esempio di insieme connesso in đ?&#x2018;&#x2026; 2 .

1

Sia A = { (x, y) â&#x17D;¸ 2 â&#x2030;¤ đ?&#x2018;Ľ â&#x2030;¤ 1 , đ?&#x2018;Ś = 0} đ?&#x2018;Ľ

e B = { (x, y) â&#x17D;¸ 0 â&#x2030;¤ đ?&#x2018;Ľ â&#x2030;¤ 1 , đ?&#x2018;Ś = đ?&#x2018;&#x203A;} si richiede di dimostrare la connessione di A â&#x2039;&#x192; đ??ľ , đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;Łđ?&#x2018;&#x2019;đ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?â&#x201E;&#x17D;đ?&#x2018;&#x2019; đ?&#x2018;&#x2039; = A â&#x2039;&#x192; đ??ľ è un insieme connesso.

Solitamente viengono dati suggerimenti.

Gli insiemi A e B sono disgiunti anche al variare di n in N. Ho un pò forse banalizzato il consiglio del testo che richiede di considerare due aperti disgiunti U e V imponendo X = U â&#x2039;&#x192; V. 1

đ?&#x2018;Ľ

Ma per certi aspetti sono rilevanti gli insiemi U = (2 , 1) e V = (0 , đ?&#x2018;&#x203A; ).

1

1

In questo caso i punti (2 , 0) , (1, 0) , (0, 0), (1, đ?&#x2018;&#x203A; ) non sono elementi di X.

Dallâ&#x20AC;&#x2122;aver posto X = U â&#x2039;&#x192; V nasce una contraddizione in quanto X non conterrebbe elementi di esso, ovvero le quattro coppie considerate.

Occorrebbe dimostrare che non esistono altri aperti Ă&#x2122; e Vâ&#x20AC;&#x2122; tali che X = Ă&#x2122; â&#x2039;&#x192; Vâ&#x20AC;&#x2122;.

Tale relazione non varrebbe a fortiori se fosse Ă&#x2122; â&#x160;&#x201A; đ?&#x2018;&#x2C6; e Vâ&#x20AC;&#x2122; â&#x160;&#x201A; V. Tale relazione neppure sarebbe valida per due aperti Ă&#x2122;â&#x20AC;&#x2122; e Vâ&#x20AC;&#x2122;â&#x20AC;&#x2122; tali che Ă&#x2122;â&#x20AC;&#x2122; â&#x160;&#x201A; A e Vâ&#x20AC;? â&#x160;&#x201A; B , in quando esisterebbe almeno un elemento di Ă&#x2122;â&#x20AC;&#x2122; â&#x2039;&#x192; đ?&#x2018;&#x2030; â&#x20AC;˛â&#x20AC;˛ non elemento di A â&#x2039;&#x192; B. Lâ&#x20AC;&#x2122;insieme esaminato è connesso in quanto costituito dalla unione di due chiusi A e B.

Un altro interessante aspetto della topologia generale è sicuramente costituito dalla suddivisione in regioni piane.

Sia I = âŚ&#x2039; 0, 1âŚ&#x152; e sia data una funzione f : I â&#x2020;&#x2019; R : f(0)f(1) â&#x2030;¤ 0

- 37 -

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

L’ipotesi f(0)f(1) < 0 si giustifica anche intuitivamente con l’esistenza di almeno un t ∈ (0, 1) per il quale sia f(t) = 0.

Vale poi il teorema del punto fisso.

Infatti, data una f: I → I esiste un t ∈ I tale che f(t) = t.

Anche in questo caso si ha una evidenza intuitive della circostanza.

Sono banali i casi f(0) = 0 e f(1) = 1 in quando per essi sarebbe t =0 e t =1 rispettivamente.

Fuori da questa ipotesi la soluzione è il punto intersezione tra la curva e la retta y = x.

Per le dimostrazioni rigorose di questi due teoremi si rimanda a Kosniowski , Cap.10.

Uno spazio topologico non connesso è detto disconnesso.

La definizione data e le condiderazioni degli esercizi più sopra svolti consente di affermare che un insieme X è sconnesso quando è rappresentabile formalmente come la unione disgiunta di due aperti o di due chiusi propri.

Va poi definita la connessione per archi.

Siano x ed y due punti qualunque dello spazio X. X è connesso per archi se ∀ x, y di X esiste una applicazione continua φ : ⦋0, 1⦌ → X con le condizioni φ(0) = x e φ(1) = y, detti rispettivamente punto iniziale e punto finale dell’arco.

Ciò vuol dire che esiste una funzione φ(.) il cui dominio è l’insieme ⦋0, 1⦌ per la quale risulta φ(0) = x e φ(1) = y.

Più propriamente ne esiste una per ogni coppia (x, y) di elementi di X.

Sinonimo del concetto di arco è il concetto di cammino.

- 38 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Esso è solitamente definito dalla scrittura f(âŚ&#x2039;0, 1âŚ&#x152;) che si intende come valori definiti nellâ&#x20AC;&#x2122;intervallo della funzione, spesso considerata nel dominio del tempo.

Ad un arco f è associato un arco đ?&#x2018;&#x201C; Ě&#x2026; = (1 - t). Ě&#x2026; Per t =1 đ?&#x2018;&#x201C; Ě&#x2026; (1 - t) =đ?&#x2018;&#x201C; (Ě&#x2026; 0) mentre per t = 0 đ?&#x2018;&#x201C; Ě&#x2026; (1 - t) =đ?&#x2018;&#x201C;(1) Il lemma (Kosniowski, pag. 102) si compone invero di una seconda parte che ho deciso di considerare piĂš oltre.

In ogni caso mutuo, con modificazioni, da tale esempio, riferito al punto ii) non sviluppato, per condurre un semplice esempio, con tutti i passaggi.

f(t) = 2t â&#x20AC;&#x201C; 1 Per t = 0 si ottiene il punto iniziale dellâ&#x20AC;&#x2122;arco, ovvero f(0) =2 *0 â&#x20AC;&#x201C; 1 = - 1.

Per t = 1 si ottiene il punto finale dellâ&#x20AC;&#x2122;arco, ovvero f(1) = 2*1 â&#x20AC;&#x201C; 1 = 1 Pertanto il cammino inverso risulta essere đ?&#x2018;&#x201C; Ě&#x2026; (1 - t) = 2(1 â&#x20AC;&#x201C; t) â&#x20AC;&#x201C; 1 = 2 â&#x20AC;&#x201C; 2t â&#x20AC;&#x201C; 1 = 1 â&#x20AC;&#x201C; 2t Mi riprometto di vedere per quale t risulta đ?&#x2018;&#x201C; Ě&#x2026; (1 - t) = 1 â&#x20AC;&#x201C; 2t = f(1) = 1 Tale equazione è logicamente coerente in quanto percorso un cammino f riparto dal punto finale di esso che considero punto iniziale del cammino đ?&#x2018;&#x201C;.Ě&#x2026; Giova risolvere lâ&#x20AC;&#x2122;equazione in t seguente 1 â&#x20AC;&#x201C; 2t = 1 â&#x2021;&#x2019; 0 = - 2t Per la legge di annullamento del prodotto essa è verificata per t = 0.

Da questo punto ricomincio a contare i tempi e devo attendermi che per t = 1 sia đ?&#x2018;&#x201C; Ě&#x2026; (1 - t) = 1 â&#x20AC;&#x201C; 2t = f(0) = - 1 Ciò è verificato in quanto 1 â&#x20AC;&#x201C; 2t = - 1 â&#x2020;&#x2019; t = 1.

- 39 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Il simbolo â&#x2020;&#x2019; deve intendersi quale â&#x20AC;&#x153;ottengoâ&#x20AC;?.

Questo modo di intendere detto lemma è coerente con la spiegazione data nel testo per la quale đ?&#x2018;&#x201C; Ě&#x2026; è â&#x20AC;&#x153;essenzialmente equivalente a f percorso a ritrosoâ&#x20AC;?.

Sfogliano i testi di topologia ho constatato che viene ampiamente utilizzato il formalismo proprio del punto ii) del lemma 12.1 di cui a pag. 103 del testo di Kosniowski.

In buona sostanza, viene definita una nuova applicazione f *g : âŚ&#x2039; 0, 1âŚ&#x152; â&#x2020;&#x2019; Y quando f e g sono due archi per i quali il punto finale di f coincide con il punto iniziale di g.

Formalmente si ha 1

(f*g) (t) = f(2t) t â&#x2C6;&#x2C6; âŚ&#x2039;0 , 2 âŚ&#x152; 1

(f*g) (t) = f(2t - 1 ) t â&#x2C6;&#x2C6; âŚ&#x2039; 2 , 1 âŚ&#x152; (f*g) (t) è un arco in Y. f(t) = Îą t + β â&#x2020;&#x2019; f(2t) = Îą 2t + β Per t = 0 si ha f(2*0=0) = 0 +β= đ?&#x203A;˝ 1

Per t =1/2 si ha f(1) = Îą+ đ?&#x203A;˝ = g(22 â&#x20AC;&#x201C; 1 = 0) Ho peraltro deciso di sviluppare riflessioni cinematiche di questo modo di procedere e il grafico pertinente è sicuramente rappresentato dal porre la variabile tempo sullâ&#x20AC;&#x2122;asse delle ascisse e i punti di X sullâ&#x20AC;&#x2122;asse delle ordinate.

Relativamente al tempo si considera lâ&#x20AC;&#x2122;intervallo âŚ&#x2039;0, 1âŚ&#x152;.

Sullâ&#x20AC;&#x2122;asse delle ordinate viene collocato lâ&#x20AC;&#x2122;insieme dei punti dei X. Il punto (t, x(t)) in termini meccanici è indicativa della posizione di un punti materiale al tempo t.

- 40 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Il caso piĂš banale, pure peraltro riportato dal testo, è quello della costanza, nel senso che nel tempo la posizione del punto non muta, ovvero x(t) = đ?&#x2018;Ľ0 .

Ovviamente si tratta di una retta, o meglio, per le limitazioni poste, di un segmento di retta parallelo allâ&#x20AC;&#x2122;asse delle x, ovvero dei tempi.

Mi sono poi chiesto come rappresentare nel medesimo grafico f e đ?&#x2018;&#x201C; ,Ě&#x2026; ammettendo che lo spostamento su f e quello su đ?&#x2018;&#x201C; Ě&#x2026; avvengano su tempi costanti.

CosĂŹ facendo il cammino f viene percorso in

1 2

unitĂ di tempo e il percorso đ?&#x2018;&#x201C; Ě&#x2026; viene fatto nel

1

tempo successivo, ovvero nellâ&#x20AC;&#x2122;intervallo âŚ&#x2039; 2 , 1 âŚ&#x152;.

Tra lâ&#x20AC;&#x2122;altro, questo grafico consente di deifnire la velocitĂ media come ratio di segmenti, ovvero đ?&#x2018;Łđ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x2018; =

đ?&#x2018;Ľ(đ?&#x203A;ź)â&#x2C6;&#x2019;đ?&#x2018;Ľ(đ?&#x203A;˝) đ?&#x2018;Ąđ?&#x203A;ź â&#x2C6;&#x2019;đ?&#x2018;Ąđ?&#x203A;˝

riferita allâ&#x20AC;&#x2122;intervallo (β, đ?&#x203A;ź).

Peraltro, contrariamente a quanto pensavo in un primo momento, quello della velocità media costante sui due archi è un falso problema.

Mi sono però convinto che se si ammette che sia costante la velocitĂ istantanea sia nel percorso f che in quello inverso đ?&#x2018;&#x201C; Ě&#x2026; allora è evidente una simmetria, nel senso che i grafici di f ed đ?&#x2018;&#x201C; Ě&#x2026; sono 1

simmetrici rispetto alla retta t = 2.

Si avrebbero due segmenti di retta per i quali x(0) = x(1).

In generale non si ha a che fare con segmenti di retta ma con curve piĂš complesse.

1

In questo caso la simmetria delle curve rispetto alla retta t = 2 deve essere intesa come vigenza 1

1

1

1

della relazione đ?&#x2018;Łđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ą (2 â&#x2C6;&#x2019; đ?&#x153;?) = đ?&#x2018;Łđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ą (2 + đ?&#x153;?), â&#x2C6;&#x20AC;đ?&#x153;? â&#x2C6;&#x2C6; (0, 2 ), ovvero per 0 â&#x2030;¤ Ď&#x201E; < 2.

Il corpo inzialmente in quiete ritorna in quiete nella stessa posizione di partenza.

1

Si ammette đ?&#x2018;Łđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ą (2) = 0.

- 41 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Se x(1) â&#x2030; x(0) non si hanno le condizioni che i due tratti rappresentino f e il cammino inverso, rispettivamente.

Questo grafico consente di sdoppiare una situazione che nel dominio del tempo sarebbe rappresentabile in termini standard con un unico arco valutato nei due sensi di percorrenza.

Viene, ovviamente, variata la scala dei tempiâ&#x20AC;Ś 1

Se lâ&#x20AC;&#x2122;arco đ?&#x2018;&#x201C; Ě&#x2026; non è simmetrico di f rispetto alla retta t = 2 allora è conservata la velocitĂ media 1

1

2

2

riferita ai due sottontervalli âŚ&#x2039; 0, âŚ&#x152; e âŚ&#x2039; , 1âŚ&#x152; che è sicuramente costante ma non quella istantanea. Ă&#x2C6; possibile, ad esempio, considerare una circonferenza nel piano đ?&#x2018;&#x2026; 2 .

Essa è una curva chiusa e semplice.

Si considerino su di essa due punti diametrali A e B e si consieri il cammino da A a B e quindi nuovamente in A, descritto da un punto materiale che si muove di moto circolare uniforme.

Sia il periodo pari ad una unitĂ di tempo.

Tale moto è rappresentabile graficamente nel piano ove sullâ&#x20AC;&#x2122;asse delle x sono collocati i tempi mentre sullâ&#x20AC;&#x2122;asse delle ordinate è collocata la posizione del punto al tempo t â&#x2C6;&#x2C6; âŚ&#x2039;0 ,1âŚ&#x152;, đ?&#x2018;&#x153;đ?&#x2018;Łđ?&#x2018;Łđ?&#x2018;&#x2019;đ?&#x2018;&#x;đ?&#x2018;&#x153; x(t).

Il grafico è una curva convessa avente il punto di massimo assoluto nel punto x = A in corrispondenza del tempo t = 0 , đ?&#x2018;˘đ?&#x2018;&#x203A; đ?&#x2018; đ?&#x2018;˘đ?&#x2018;?đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;Łđ?&#x2018;&#x153; đ?&#x2018;&#x161;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x2013;đ?&#x2018;&#x161;đ?&#x2018;&#x153; assoluto nel punto B corrispondente al tempo t =

1 2

e con un successivo assoluto, in corrispodenza del tempo t = 1, nel punto di

ordinata eguale alla ordinata del punto A. Per đ?&#x2018;Ą > 1 la situazione di ripresenta con periodicitĂ , come evidente se il moto continua.

Si ammette che gli archi di circonferenza AB e BA, ad esempio in senso antiorario, vengano 1

percorsi in un tempo 2 , ovvero in un semiperiodo.

Il caso della percorrenza di un arco rettilineo, di un cammino non curvo, da un punto A a un punto B e quIndi nuovamente in A può essere ben rappresentato da una spezzata ABA per la quale sia đ?&#x2018;Ľ0 = đ?&#x2018;Ľ1 = A e đ?&#x2018;Ľ1 = B. 2

- 42 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

B

A

Se il moto è indefnito nel tempo allora è ben evidenziabile nel grafico la periodicità .

Ovviamente 1 è da intendersi un periodo, che vale Ď&#x201E; secondi dipendenti dalla velocitĂ scalare.

Ove il moto non fosse uniforme allora si potrebbero avere situazioni del genere, di immediate interpretazione

Per đ?&#x153;?1 â&#x2030;¤t â&#x2030;¤ đ?&#x153;?2 il corpo è in quiete.

Uno spazio X è detto connnesso per archi se per ogni coppia non ordinata (đ?&#x2018;Ľ0 , đ?&#x2018;Ľ1 ) esiste un arco in X da đ?&#x2018;Ľ0 đ?&#x2018;&#x17D; đ?&#x2018;Ľ1 .

Va data la definizione di componente connessa di uno spazio topologico.

Uno spazio topologico C è una componente connessa di uno spazio topologico X se sono verificate le due seguenti condizioni a) è connesso b) se esiste un connesso A â&#x160;&#x201A; C allora C = đ??´.

Va quindi considerata la curva di Jordan.

Si tratta di una curva chiusa del piano euclideo.

Essa è sicuramente limitata nel senso che esiste un rettangolo R di đ?&#x2018;&#x2026; 2 che la contiene.

- 43 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Mi sono creato una definizione abbastanza intuitiva di curva semplice osservando che esistono curve per le quali â&#x2C6;&#x192;đ?&#x2018;Ľ0 : â&#x2C6;&#x192;! f( đ?&#x2018;Ľ0 ).

Dette curve ancorchè limitate non sono curve semplici.

Una curva chiusa è semplice quando lâ&#x20AC;&#x2122;asserzione â&#x2C6;&#x192;đ?&#x2018;Ľ0 : â&#x2C6;&#x192;! f( đ?&#x2018;Ľ0 ) : â&#x17D;¸ f( đ?&#x2018;Ľ0 ) â&#x17D;¸ < â&#x2C6;&#x17E; è falsa â&#x2C6;&#x20AC;đ?&#x2018;Ľ0 â&#x17D;¸ đ?&#x2018;Ľ0 â&#x2C6;&#x2C6; (đ?&#x2018;Ľđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; , đ?&#x2018;Ľ đ?&#x2018; đ?&#x2018;˘đ?&#x2018;? ) essendo dom f = âŚ&#x2039;đ?&#x2018;Ľđ?&#x2018;&#x161;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A; , đ?&#x2018;Ľđ?&#x2018;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;Ľ âŚ&#x152;

Una curva di Jordan è omeomorfa ai punti complessi z di modulo unitario.

Se è dato il numero complesso z = a +ib si ha â&#x17D;¸z â&#x17D;¸= â&#x2C6;&#x161;đ?&#x2018;&#x17D;2 +đ?&#x2018;? 2

Vorrei concludere questa breve nota con il concetto di omotopia di funzioni continue.

Una omotopia è una applicazione tra funzioni.

Siano date due funzioni continue đ?&#x2018;&#x201C;0 đ?&#x2018;&#x2019; đ?&#x2018;&#x201C;1 .

Esse hanno dominio X e codomino Y. Sia I = âŚ&#x2039; 0, 1 âŚ&#x152; Sia data lâ&#x20AC;&#x2122;applicazione F : X Ă&#x2014; đ??ź â&#x2020;&#x2019; Y Se â&#x2C6;&#x20AC; x : x â&#x2C6;&#x2C6; X risulta F(x, 0) = đ?&#x2018;&#x201C;0 (x) e F(x, 1) = đ?&#x2018;&#x201C;1 (x) Lâ&#x20AC;&#x2122;applicazione F è detta una omotopia tra le funzioni đ?&#x2018;&#x201C;0 đ?&#x2018;&#x2019; đ?&#x2018;&#x201C;1 .

Dette funzioni sono dette omotope rispetto allâ&#x20AC;&#x2122;omotopia F. Si scrive đ?&#x2018;&#x201C;0 â&#x2030;&#x2C6; đ?&#x2018;&#x201C;1 Il valore di F(x, t) viene indicato con il formalismo đ?&#x2018;&#x201C;đ?&#x2018;Ą (x) In buona sostanza si ottiene una funzione continua đ?&#x2018;&#x201C;đ?&#x2018;Ą (x) : X â&#x2020;&#x2019; Y. In realtĂ viene introdtto un concetto piĂš generale detto omotopia relativa.

Dato X si consideri A â&#x160;&#x201A; X e si considerino due funzioni continue đ?&#x2018;&#x201C;0 đ?&#x2018;&#x2019; đ?&#x2018;&#x201C;1 : X â&#x2020;&#x2019; Y Esse funzioni continue sono omotope relativamente ad A se esiste una omotopia

- 44 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

F:XĂ&#x2014;đ??źâ&#x2020;&#x2019;Y tra le funzioni assegnate tale che â&#x2C6;&#x20AC;a â&#x2C6;&#x2C6; A risulta F(a, t) = đ?&#x2018;&#x201C;0 (a) senza alcuna dipedenza da t per t â&#x2C6;&#x2C6; I. Si ha đ?&#x2018;&#x201C;0 (a) = đ?&#x2018;&#x201C;1 (a) Si scrive đ?&#x2018;&#x201C;0 â&#x2030;&#x2C6; đ?&#x2018;&#x201C;1 (đ?&#x2018;&#x;đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;. đ??´).

Si tratta di una relazione di equivalenza.

Vengono poi definiti gli spazi omotopicamente equivamenti se date due funzioni continue f e g risulta vero che gf â&#x2030;&#x2C6; 1 : X â&#x2020;&#x2019; X fg â&#x2030;&#x2C6; 1 : Y â&#x2020;&#x2019; Y f e g sono dette equivalenze omotopiche.

Spazi omeomorfi sono omotopicamenteequivalenti.

Spazi omotopicamente equivalenti non sono necessariamente omeomorfi.

Esistono spazi che sono omotopicamente equivalent ad un punto.

Detti spazi sono detti contraibili.

Un cammino è chiuso quando Îą(0) =Îą(1) = đ?&#x2018;&#x17D; Il punto a â&#x2C6;&#x2C6; X è detto đ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x17D;đ?&#x2018; đ?&#x2018;&#x2019;.

Sia dato uno spazio topologico X e due punti distinti di esso.

Siano a e b detti punti.

Lo spazio dei cammini đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;&#x17D;, đ?&#x2018;?) è un insieme i cui elementi sono tutte le funzioni continue di dominio I a valori di X per le quali Îą(0) = đ?&#x2018;&#x17D; đ?&#x2018;&#x2019; Îą(1) = đ?&#x2018;?

Si ha đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;&#x17D;, đ?&#x2018;?) = { đ?&#x203A;ź: đ??ź â&#x2020;&#x2019; đ?&#x2018;&#x2039; â&#x17D;¸đ?&#x203A;ź đ?&#x2018;&#x2019; â&#x20AC;˛ đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;˘đ?&#x2018;&#x17D; đ?&#x2018;&#x2019; đ?&#x203A;ź(0) = đ?&#x2018;&#x17D; đ?&#x2018;&#x2019; đ?&#x203A;ź(1) = đ?&#x2018;? }. Ă&#x2C6; definita una prima operazione detta di giunzione.

Si ha đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;&#x17D;, đ?&#x2018;?) Ă&#x2014; đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;?, đ?&#x2018;?) â&#x2020;&#x2019; đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;&#x17D;, đ?&#x2018;?)

- 45 -

* APPUNTI MATEMATICI 17 â&#x20AC;&#x201C; MAGGIO 2016 *

Îąâ&#x2C6;&#x2014; đ?&#x203A;˝ = Îą(2t) se 0 â&#x2030;¤ đ?&#x2018;Ą â&#x2030;¤

1 2

1

Îąâ&#x2C6;&#x2014; đ?&#x203A;˝ = Îą(2t- 1) se 2 â&#x2030;¤ đ?&#x2018;Ą â&#x2030;¤ 1

La seconda operazione è lâ&#x20AC;&#x2122;inversione. đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;&#x17D;, đ?&#x2018;?) â&#x2020;&#x2019; đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;?, đ?&#x2018;&#x17D;) Inv ( đ?&#x203A;ź(đ?&#x2018;Ą)) = đ?&#x203A;ź(1 â&#x2C6;&#x2019; đ?&#x2018;Ą) Vanno definiti i cammini omotopicamente equivalenti. Îą e β â&#x2C6;&#x2C6; đ?&#x203A;ş (đ?&#x2018;&#x2039;, đ?&#x2018;&#x17D;, đ?&#x2018;?) sono cammini omotopicamnte equivalenti se esiste una applicazione continua F : I Ă&#x2014; đ??ź â&#x2020;&#x2019; đ?&#x2018;&#x2039; đ?&#x2018;Ąđ?&#x2018;&#x17D;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019; đ?&#x2018;?â&#x201E;&#x17D;đ?&#x2018;&#x2019; F(t , 0) = đ?&#x203A;ź(đ?&#x2018;Ą) F(t , 1) = đ?&#x203A;˝(đ?&#x2018;Ą) F(0 , s) = đ?&#x2018;&#x17D;, â&#x2C6;&#x20AC; s â&#x2C6;&#x2C6; I F(1, s) = đ?&#x2018;?, â&#x2C6;&#x20AC; s â&#x2C6;&#x2C6; I Detta omotopia è una relazione di equivalenza.

- 46 -

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

NOTA CONCLUSIVA

Ho elaborato questa breve sintesi della materia, limitata nei contenuti per ovvie ragioni, attiengendo da due fonti che mi sono state utili a prendere in considerazione gli aspetti più ampi e generali delle questioni tutt’altro che facili tipiche di una materia abbastanza astratta.

Questo ovviamente è uno step iniziale particolarmente utile a me per inquadrare le problematiche da un punto di vista generale nella prospettiva di un successivo affinamento, lungi dal costituire una trattazione rigorosa.

L’elaborazione è ovviamente epidermica e si limita a sciogliere il significato delle principali definizioni e a impostare qualche modesta riflessione personale.

Non eslcudo che l’elaborato possa essere oggetto di rilievi e di critiche che mi risulterebbero peraltro ben utili.

Vorrei ricordare le due fonti che ho utilizzato, sicuramente indispenabili nel consentirmi di apprendere quel poco che ho sintetizzato.

Esse sono le seguenti.

Marco Minetti, Topologia, II edizione, Springer.

Czes Kosniowski, Introduzione alla topologia algebrica, Zanichelli.

- 47 -

* APPUNTI MATEMATICI 17 – MAGGIO 2016 *

PROPRIETÀ LETTERARIA

Questo elaborato non ha finalità commerciali o lucrative. Ne è autorizzata la divulgazione, anche totale, a condizione che essa non abbia finalità commerciali o lucrative purchè essa avvegna con la citazione dell’autore e del soggetto diffusore dell’opera.

- 48 -

pubblicazione a cura di Pascal McLee

2016 Š mclee consulting | web solutions. all rights reserved. web www.pascalmclee.com - mail pas.meli@gmail.com - mob. +39 335 6856486