Algebra lineare e geometria analitica/Concetti di base e notazioni

Wikibooks, manuali e libri di testo liberi.
Indice del libro

Verranno ora elencate tutte le convenzioni di notazione e i basilari concetti matematici fondamentali per tutta la trattazione successiva. Se il lettore si sente già padrone delle seguenti definizioni e notazioni può passare direttamente al paragrafo successivo.

Operatori logici fondamentali[modifica]

Date due proposizioni e (ovvero delle frasi di cui si possibile senza ambiguità decidere se esse sono vere e false; negli esempi seguenti per chiarirsi le idee si pensi a p come alla proposizione fuori piove e a q come la proposizione ieri pioveva) sono definiti i seguenti simboli per gli operatori logici relazionali:

  • Il simbolo indica e; ad esempio la formula significa "p e q ";
  • Il simbolo indica o; ad esempio la formula significa "p o q ";
  • Il simbolo indica se...allora...; ad esempio la formula significa "Se p allora q ";
  • Il simbolo indica se e soltanto se; ad esempio la formula significa "p se e soltanto se q ";

Allo stesso modo possiamo definire i seguenti simboli per i quantificatori logici universali (si pensi ora a p(x) come alla proposizione x è un numero primo):

  • Il simbolo indica per ogni; ad esempio la formula significa "per ogni x, p(x) ";
  • Il simbolo indica esiste; ad esempio la formula significa "esiste x, p(x) ";

Con questi simboli è possibile formalizzare qualsiasi affermazione di tipo logico su due proposizioni generiche. Noi utilizzeremo questo linguaggio applicato ad enti matematici ben definiti. Vediamo alcune altre notazioni di base.

A volte con " : " o con " | " staremo ad indicare tale che (anche se spesso sarà chiaro dal contesto), con " ! " indicheremo unico mentre con " A:=B " indicheremo il fatto che A è difinito a partire da B.

Insiemi[modifica]

La parola insieme va intesa nel significato intuitivo di collezione di oggetti chiamati i suoi elementi. In generale gli insiemi verranno indicati con lettere maiuscole, gli elementi con lettere minuscole.

  • indica appartiene;
  • indica non appartiene;

Se è un oggetto ed un insieme scriveremo per indicare che x è un oggetto dell'insieme A, e per indicare che x non è un oggetto di A.

Quando un insieme sarà rappresentato dai suoi elementi scriveremo tale insieme come l'elenco di tali elementi contenuti tra parentesi graffe: ad esempio l'insieme i cui elementi sono si indicherà con .

  • Se sono due insiemi, la notazione , oppure , significa che ogni elemento che appartiene ad appartiene a . In questo caso diremo che è un sottoinsieme di . Avremmo allora che è sottoinsieme di se e soltanto se vale la seguente proprietà (scritta utilizzando le notazioni precedenti)

  • Se sono due insiemi, la notazione , oppure , significa che è falso che , ovvero che

  • Sa sono due insiemi, la notazione significa che valgono e , cioè

  • Se è un insieme e un enunciato che è vero o falso per gli elementi di , indicheremo con il sottoinsieme di formato dalgi oggetti di per cui è vero l'enunciato .
  • Se sono due insiemi, indicheremo con l'insieme formato da tutti gli elementi che stanno sia in che in e lo chiameremo la loro intersezione :

  • Se sono due insiemi, indicheremo con l'insieme formato da tutti gli elementi che stanno in oppure in e lo chiameremo la loro unione :

  • Indicheremo con l'insieme che non contiene nessun elemento.
  • Se è un insieme e indicheremo o equivalentemente con l'insieme degli elementi di che non appartengono a e lo chiameremo il complementare di in .

  • Se sono due insiemi, indicheremo con l'insieme formato da tutte le coppie ordinate il cui primo elemento è un elemento di ed il secondo elemento è un elemento di , e lo chiameremo il loro prodotto cartesiamo :

  • Il prodotto cartesiano può essere definito per qualsiasi numero di insiemi, come l'insieme delle -ple ordinate in cui tutti gli elementi stanno rispettivamente negli insiemi di partenza:

  • Se è un insieme e , la notazione indicherà il prodotto cartesiano di con sé stesso per volte.

Funzioni[modifica]

  • Se sono due insiemi, una funzione da in è una legge che associa ad ogni elemento uno ed un solo elemento di che indicheremo con . Indicheremo con la funzione e chiameremo il dominio e il codomino di .
  • Se e la notazione sottointenderà che , cioè è l'unico elemento di a cui è associato tramite (si dirà che è l'immagine di tramite ).
  • Date due funzioni e porremo

Data una funzione diremo che è:

    • iniettiva se ;
    • suriettiva se ;
    • biettiva se è sia iniettiva che suriettiva.

Operazioni binarie interne[modifica]

Innanzitutto, definiamo cosa si intende per operazione: dato un insieme non vuoto , una operazione o legge di composizione interna è una funzione da ad (in cui con si intende il prodotto cartesiano di con se stesso volte); in questo caso, si dice che l'operazione è -aria p di varietà , intendendo che opera su elementi di restituendo l'elemento di ad essi associato. Solitamente, si trattano operazioni binarie (cioè operazioni in cui ), ternarie (cioè operazioni in cui ), unarie (cioè operazioni in cui ), zerarie o nullarie (cioè operazioni in cui , che equivalgono a fissare un elemento di , per esempio nella definizione moderna di gruppo). Le operazioni sono solitamente indicate con simboli quali eccetera. Si usa spesso, al posto della notazione prefissa tipica delle funzioni () la notazione infissa () o quella postfissa o suffissa ().

Dato un linguaggio e un insieme , definiamo algebra di tipo una coppia ordinata , con insieme di funzioni finitarie indicizzate (o non indicizzate) in modo tale che per ogni simbolo di operazione -aria in corrisponda una operazione -aria in ; le operazioni di si dicono fondamentali. Se è finito, si scrive , con la convenzione di elencare le operazioni fondamentali per arietà decrescente.

Definiamo quindi, a partire da questa, le strutture algebriche elementari, indicando l'arietà dell'operazione o delle operazioni e le proprietà da esse verificate.

Classificazione

In particolare, consideriamo ora operazioni binarie.

  1. Un'operazione binaria (che chiamiamo per esempio ) si dice:
    • associativa se si ha l'uguaglianza per ogni ;
    • commutativa se per ogni ;
    • mediale se per ogni ;
    • commutativa a sinistra se per ogni ;
    • commutativa a destra se per ogni ;
    • autodistributiva a sinistra se per ogni ;
    • autodistributiva a destra se per ogni .
  2. Inoltre, se sono date due operazioni , definiamo:
    • distributiva a a sinistra se per ogni ;
    • distributiva a a destra se per ogni .
  3. Diciamo che un elemento rispetto all'operazione è:
    • idempotente se (dove possiamo scrivere più sinteticamente come );
    • neutro a sinistra se ;
    • neutro a destra se ;
    • neutro se è neutro sia sinistro che destro, ovvero se ;
    • zero (assorbente) a sinistra se ;
    • zero (assorbente) a destra se ;
    • zero (assorbente) se è zero sia sinistro che destro, ovvero se ;
    • divisore dello zero a sinistra se, nell'ipotesi che esista lo zero () in e che , si ha che ;
    • divisore dello zero a destra se, nell'ipotesi che esista lo zero () in e che , si ha che ;
    • invertibile (simmetrizzabile) a sinistra se , e in questo caso si dice che è un inverso sinistro o un simmetrico sinistro di ; se inoltre vale la proprietà associativa ed esiste in l'unità , allora si definisce invertibile a sinistra se ;
    • invertibile (simmetrizzabile) a destra se , e in questo caso si dice che è un inverso destro o un simmetrico destro di ; se inoltre vale la proprietà associativa ed esiste in l'unità , allora si definisce invertibile a destra se ;
    • invertibile (simmetrizzabile) se è invertibile sia a sinistra che a destra, ovvero se , e in questo caso si dice che è l' inverso o il simmetrico di ; se inoltre vale la proprietà associativa ed esiste in l'unità , allora si definisce invertibile se .

Strutture algebriche fondamentali[modifica]

Per poter affrontare i concetti di spazio vettoriale e molte delle sue proprietà è necessario essere in possesso di alcune definizioni di base di teoria dei gruppi e dei campi. Per struttura intendiamo un insieme su cui sia definita un'ulteriore relazione o operazione chiusa rispetto all'insieme, nel senso che applicata ad elementi dell'insieme risulti ancora definito il suo "risultato" come un elemento dello stesso insieme. La struttura più semplice che incontreremo ora è quella di Gruppo.

Gruppo[modifica]

La base del concetto di gruppo è un insieme su cui sia definita una operazione interna all'insieme con delle proprietà specifiche. Consideriamo un insieme . Un operazione su un insieme è una funzione . In questo caso si indica generalmente l'immagine come .

Definizione

Un gruppo è una coppia dove è un insieme e è un'operazione su che verifiche le seguenti proprietà:

  1. è associativa, cioè vale che ;
  2. esiste un elemento in detto elemento neutro che si indica con (a volte anche con ) tale che vale che ;
  3. per ogni elemento esiste un inverso: cioè tale che . In tal caso si indica con la notazione .

Analizziamo ora qualche esempio di gruppo.

  • è un gruppo. Infatti la somma è associativa, è l'elemento neutro (infatti ) e per ogni numero intero esiste tale che .
  • è un gruppo. Si verifichi per esercizio le tre proprietà.
  • non è un gruppo. Non è infatti verificata la proprietà degli inversi.

Negli esempi sopra considerati l'operazione sull'insieme verifica anche un'altra proprietà aggiuntiva: la commutatività. È sempre vero infatti che per ogni numero intero. Non tutti i gruppi verificano questa proprietà, anche se per ora non siamo in grado di mostrarvene un esempio. I gruppi la cui operazioni è commutativa si chiamano gruppi commutativi o abeliani.

Campo[modifica]

Il passo successivo rispetto alla struttura di gruppo è quello di considerare insiemi su cui siano definite più operazioni. Come idea tenete presente i numeri razionali su cui è definita sia la somma che il prodotto. In questo caso potremmo avere che l'insieme è un gruppo rispetto a tutte e due le operazioni (o quasi): se le due operazioni si "comportano bene" l'una rispetto all'altra si parlerà di campo. Vale infatti la seguente definizione:

Definizione

Un campo è una terna tale che:

  1. è un gruppo abeliano con elemento neutro ;
  2. è un gruppo abeliano;
  3. vale la proprietà distributiva, ovvero

Il concetto di campo sarà fondamentale nella trattazione successiva quindi vediamone alcuni esempi pratici.

  • è un campo. Infatti la somma e il prodotto sui numeri reali verificano le proprietà di gruppo. Inoltre è banale verificare che verificano la proprietà distributiva su ogni terna di numeri reali.
  • è un campo in modo del tutto analogo all'esempio precedente.
  • non è un campo, perché non esiste un inverso per il prodotto di alcun numero intero diverso da .

In effetti si potrebbe chiedere meno delle proprietà di campo, e accontentarsi di quelle di corpo. In questo libro si farà riferimento sempre a strutture definite su campi, ma si potrebbe trattare la stessa teoria su concetti più deboli, come appunto quello di corpo, o di anello ottenendo così, al posto di spazi vettoriali, ambienti più generali come quelli di modulo. Tuttavia tale trattazione richiederebbe notevoli prerequisiti di algebra commutativa che non sono trattati in queste pagine.

Numeri reali[modifica]

Fin qui sono state presentate strutture via via più ricche, ma di fondo sostanzialmente astratte, cioè tali che non descrivevano completamente insiemi numerici nel senso in cui generalmente vengono intesi. In effetti gruppi e campi sono importanti proprio per questo, perché sono concetti molto flessibili che si possono associare a diverse situazioni. Tuttavia, per quello che concerne l'obiettivo di questo libro, avremo a che fare principalmente con spazi che hanno come basi i numeri reali (o complessi) e dunque vogliamo approfondire, prima di proseguire con la trattazione, lo studio di questi insiemi.

Si è già visto come l'insieme dei numeri reali sia un campo. Sappiamo però che su è presente un'ulteriore struttura data dall'ordine. In particolare è possibile confrontare due numeri reali secondo la loro "grandezza" e decidere sempre se sono uguali o quale dei due è il maggiore. Formalmente si dirà che su è definita una relazione d'ordine totale "", che ha le usuali proprietà.

Non approfondiremo qui il concetto di relazione d'ordine, in quanto si suppone che ogni lettore abbia una certa familiarità con le disuguaglianze. Vogliamo solo far notare che questa ulteriore struttura è comune a tutti gli insiemi numerici, infatti anche sui naturali, sugli interi, sui razionali e ovviamente sui reali è definita tale relazione. Che cosa dunque caratterizza in maniera specifica i numeri reali?

Densità[modifica]

Una prima osservazione, che distingue i numeri reali da quelli interi o naturali è il concetto di "densità". In modo informale potremmo affermare che non ha buchi. Chiariamo questo concetto. Negli interi (come nei naturali) esistono coppie di numeri, di cui uno è maggiore dell'altro, ma non esiste nessun altro elemento dell'insieme compreso tra di essi. Si pensi ad esempio a : è noto che ma non esiste nessun altro intero tale che che non sia uguale a due o a tre. Tale proprietà è invece soddisfatta per i reali, basti pensare a .

Possiamo dunque affermare che per i numeri reali vale la seguente proprietà:

Dati tali che , esiste sempre tale che e

Questa proprietà è sufficiente a caratterizzare pienamente i numeri reali? Abbiamo già visto come i numeri interi e i naturali non verifichino questa proprietà. E i razionali? Purtroppo anche i razionali verificano questa proprietà. Date infatti due frazioni e tali che si ha che la frazione verifica la proprietà richiesta, infatti (provare per esercizio con qualche esempio).

Abbiamo allora bisogno di trovare una "nuova" proprietà che sia verificata dai reali ma non dai razionali.

Completezza e assioma di Dedekind[modifica]

L'idea di base è estendere la proprietà precedente anche agli insiemi, introducendo il concetto di estremo superiore. Diremo estremo superiore (o "sup") di un sottoinsieme dei numeri reali il più piccolo degli elementi che sono maggiori di tutti gli elementi dell'insieme. Formalmente vale la seguente

Definizione

Dato , si definisce estremo superiore di il numero

Dalla definizione segue immediatamente una caratterizzazione fondamentale del sup, ovvero

ovvero se esiste un altro elemento maggiore di tutti quelli di allora dev'essere anche maggiore del sup.

Vediamo alcuni esempi: l'insieme ammette un estremo superiore che è 2. In questo caso l'estremo superiore non appartiene all'insieme, ma può accadere che invece vi appartenga, come nel caso dell'insieme in cui l'estremo superiore è appunto 4. L'estremo superiore può anche essere infinito, come nel caso di .

Il passo successivo è valutare se esistono sottoinsiemi dei reali che non ammettono estremo superiore. Questo non accade mai, ed è un risultato fondamentale dell'analisi che va sotto il nome di assioma di Dedekind. Questo fatto è talmente caratteristico dei numeri reali che nessun altro insieme numerico nominato fin qui ha questa caratteristica, in particolare i razionali.

C'è dunque un sottoinsieme dei razionali che non ammette estremo superiore, e questo distingue in maniera netta i numeri reali dalle frazioni. Se infatti si considera l'insieme , esso non possiede estremo superiore nei razionali, mentre lo possiede nei reali, ed è che ovviamente non appartiene ai razionali.

Possiamo dunque concludere che i reali sono un campo ordinato in cui vale l'assioma di Dedekind, e questo caratterizza completamente questo insieme.

Ora che abbiamo chiarito i concetti di base, possiamo cominciare a percorrerre il percorso che ci porterà alla definizione degli spazi vettoriali.