Algebra

branca della matematica
Disambiguazione– Se stai cercando altri significati, vediAlgebra (disambigua).

L'algebra(dall'araboالجبر,al-ǧabr,'completamento'[1]) è una branca dellamatematicache tratta lo studio distrutture algebriche,relazionie quantità.

Pagina diAlgebradial-Khwarizmi

Storia dell'algebra

modifica

Il termine algebra (dall'arabo الجبر,al-ǧabrche significa "unione", "connessione" o "completamento", ma anche "aggiustare" o "ricomporre" ) deriva dal libro del matematicopersianoMuḥammad ibn Mūsā al-Ḫwārizmī,intitolatoAl-kitāb al-muḫtaṣar fī ḥīsāb al-ǧabr wa l-muqābala( "Compendio sul calcolo per completamento e bilanciamento" ), conosciuto anche nella forma breveAl-kitāb al-ǧabr wa l-muqābala,che tratta la risoluzione delleequazioni di primoedi secondo grado.

Ci sono anche alcune testimonianze su problemi algebrici semplici dell'Antico Egitto, della Grecia arcaica e della Mesopotamia, di matematici che fecero uso di proprietà attinenti all'algebra elementare.

Algebra retorica

modifica

Algebra totalmente priva di simboli, i passaggi sono descritti a parole, secondo la tradizione di Muḥammad ibn Mūsā al-Ḫwārizmī.

Algebra sincopata

modifica

Algebra descrittiva, ma con notazioni simboliche, come quella usata dal grecoDiofanto di Alessandria.

Algebra simbolica

modifica

Algebra in cui i concetti sono rappresentati in simboli, utilizzata oggi in tutto il mondo è nata nell'antica India e poi sviluppata nel XVI secolo dai matematici europei.

Concetti dell'algebra

modifica
Lo stesso argomento in dettaglio:Numero.

Unnumeroè un oggetto astratto, usato per misurare unaquantità.I numeri più utilizzati sono inumeri naturali:

Aggiungendo a questi inumeri negativi,tramite ilsegno meno,si ottengono tutti inumeri interi:

Aggiungendo a questi lefrazionisi ottengono tutti inumeri razionali:

Infine, inumeri realicontengono molti altri numeri che non possono essere espressi come frazioni, quali ad esempio:

Aggiungendo a questi un elemento,chiamatounità immaginaria,tale che,si ottengono inumeri complessi:

Gli insiemi formati dai numeri naturali, interi, razionali, reali e complessi sono indicati con le lettere:

Ciascun insieme è contenuto nel successivo, come indicato dal simbolodiinclusioneinsiemistica. Ad esempio, il numeronon è un numero naturale, ma è un numero intero: quindi è anche razionale, reale e complesso.

Operazioni

modifica
Lo stesso argomento in dettaglio:Operazione aritmetica.

Con le operazioni aritmetiche diaddizione,sottrazione,moltiplicazioneedivisioneè possibile manipolare i numeri e scrivere espressioni del tipo

Lo stesso numero può essere scritto in modo diverso, ad esempio:

Costanti e variabili

modifica
Lo stesso argomento in dettaglio:CostanteeVariabile (matematica).

L'algebra elementareè un'evoluzione dell'aritmetica:oltre ai numeri e alle quattro operazioni, in algebra si fa uso di simboli letterali che (a seconda del contesto) possono essere considerati numericostantiovariabili.Ad esempio:

Usando simboli letterali è possibile enunciare deiteoremiche sono validi in contesti molto generali. Ad esempio, ilquadrato del binomio

è un'uguaglianza valida per qualsiasi valore die.

Equazioni

modifica
Lo stesso argomento in dettaglio:Equazione.

Un'equazioneè un'uguaglianza che può contenere alcune variabili, detteincognite.L'equazione è verificata solo per alcuni valori delle incognite, dettisoluzioni.Determinare le soluzioni di un'equazione è un problema centrale in algebra. Ad esempio, nell'equazione di primo grado

la letteraè una costante, mentreè l'incognita da determinare. Questa equazione ha una sola soluzione; data da

Polinomi

modifica
Lo stesso argomento in dettaglio:Polinomio.

Unpolinomioè un'espressione algebrica ottenuta manipolando alcune costanti e variabili con le operazioni di addizione, sottrazione e moltiplicazione (manonla divisione). Ad esempio:

è un polinomio con variabile.Un polinomio può avere più di una variabile, ad esempio

ha tre variabili.

Unaradice di un polinomiocon una sola variabileè un valore numericoper cui vale

Determinare le radici di un polinomio equivale quindi a risolvere un'equazione, in cui il polinomio viene posto uguale a zero. Esistono delle formule generali per determinare le radici di un polinomio digrado1, 2, 3 o 4. Ad esempio, unpolinomio di secondo grado

può avere al massimo due radici reali, determinate dalla formula

Se l'argomento del radicaleè negativo, il polinomio non ha radici reali. Per ilteorema di Abel-Ruffini,non esistono formule risolutive generali per equazioni di grado maggiore o uguale a 5.

Un polinomio può non avere radici reali. Ilteorema fondamentale dell'algebraasserisce però che ne esiste sempre (almeno) una radicecomplessa.

Numeri algebrici e trascendenti

modifica
Lo stesso argomento in dettaglio:Numero algebricoeNumero trascendente.

Un numero reale (o complesso) èalgebricose è radice di un polinomio a coefficienti interi. Ad esempio, ogni numero razionaleè algebrico, perché radice del polinomio

che ha coefficientieinteri. Laradice-esima realedi un interoè anch'esso un numero algebrico, radice del polinomio

Più in generale, tutti i numeri ottenibili a partire dagli interi usando le quattro operazioni ed i radicali sono algebrici. Ad esempio:

è un numero algebrico. Esistono però algebrici non scrivibili in questa forma, per ilteorema di Abel-Ruffini.Fra i numeri complessi, l'unità immaginariaè algebrica perché radice del polinomio.

Un numero reale (o complesso) ètrascendentese non è algebrico. I numeripi grecoe lacostante di Neperosono trascendenti.

Strutture algebriche

modifica
Lo stesso argomento in dettaglio:Struttura algebrica.

Unastruttura algebricaè un insieme dotato di una o più operazioni che soddisfano determinatiassiomi.Sulla base di questi assiomi è quindi possibile dimostrare variteoremiche risultano validi in contesti molto generali. Le strutture algebriche hanno un ruolo centrale nell'algebra astrattae in tutta la matematica moderna.

Lo stesso argomento in dettaglio:Gruppo (matematica).

Ungruppoè un insiemedotato di un'operazione binaria,che può essere indicata con il simbolo,che soddisfa gli assiomi seguenti.

  1. proprietà associativa:datiappartenenti a,vale.
  2. esistenza dell'elemento neutro:esiste inun elementoneutrorispetto all'operazione *, cioè tale cheper ogniappartenente a.
  3. esistenza dell'inverso:ad ogni elementodiè associato un elemento,dettoinversodi,tale che.

Ad esempio, inumeri interiformano un gruppo con l'operazionediaddizione.L'insiemee l'operazionesono entrambi importanti nella struttura di gruppo: per identificare il gruppo degli interi con l'addizione si scrive la coppia

Anelli e campi

modifica
Lo stesso argomento in dettaglio:Anello (algebra)eCampo (matematica).

Unanelloè un insiemedotato di due operazioni binarie, generalmente indicate con gli usuali simboliedell'addizione e della moltiplicazione, che soddisfa alcuni assiomi. L'operazionedeve soddisfare gli assiomi di gruppo già elencati; inoltre devono valere

  1. proprietà commutativa:datiappartenenti ad,vale.
  2. proprietà associativaper l'operazione:datiappartenenti ad,vale.
  3. proprietà distributiva:datiappartenenti ad,valee.

Ad esempio, inumeri interiformano un anello con le usuali operazioni di addizione e moltiplicazione, e si scrive:

L'elemento neutro per l'operazioneviene solitamente indicato con il simbolo.

Uncampoè un anello che soddisfa alcuni assiomi aggiuntivi per l'operazione,e cioè:

  1. proprietà commutativa:datiappartenenti ad,vale.
  2. esistenza dell'elemento neutro:esiste inun elementoneutrorispetto all'operazione,cioè tale cheper ogniappartenente a.
  3. esistenza dell'inverso:ad ogni elementodiè associato un elemento,dettoinversodi,tale che.

I numeri interinonformano un campo perché 2 non ha un inverso rispetto al prodotto. Inumeri razionaliformano un campo e si scrive:

Altri campi importanti sono inumeri realied inumeri complessi.

Spazi vettoriali

modifica
Lo stesso argomento in dettaglio:Spazio vettoriale.

Unospazio vettorialeè una struttura algebrica lievemente più complessa. Formalmente, consiste di una quaterna

in cuiè un insieme di oggetti dettivettori,un campo, edue operazioni binarie che soddisfano una lunga lista di assiomi. Come i vettori delpiano cartesiano,i vettori dipossono essere sommati e riscalati, cioè moltiplicati per un elemento del campodettoscalare.La nozione di spazio vettoriale è centrale in tutta la matematica moderna.

Settori dell'algebra

modifica

Algebra elementare

modifica
Lo stesso argomento in dettaglio:Algebra elementare.

L'algebra elementare può essere introdotta come generalizzazione ed estensione dell'aritmetica,tramite l'introduzione di oggetti simbolici, chiamativariabiliecostanti,denotati solitamente con lettere dell'alfabeto.

Alle espressioni costruite con l'uso delle variabili e delle costanti, si applicano le operazioni aritmetiche diaddizione,differenza(più generalmente,somma algebrica),moltiplicazioneedivisione.In questo modo vengono introdotti e studiati oggetti come ipolinomie leequazioni,e studiati i metodi per trovarne le eventualiradicidei primi e soluzioni delle seconde.

Algebra astratta

modifica
Lo stesso argomento in dettaglio:Algebra astratta.

L'algebra astrattaè un'estensione dell'algebra elementare, nata verso la fine delXIX secoloe sviluppatasi enormemente nelXX secolo.L'algebra astratta definisce e studia lestrutture algebriche:insiemi muniti di operazioni che soddisfano determinatiassiomi.Esempi molto particolari di strutture algebriche sono costituiti dagli usuali insiemi numerici, quali inumeri interi,irazionali,irealie icomplessicon le loro ordinarie operazioni di somma o prodotto, o anche con una sola di queste operazioni.

Esempi di strutture algebriche sono igruppi,glianelli,icampie glispazi vettoriali. Le operazioni di cui sono dotate queste strutture soddisfano leggi molto simili a quelle valide negli esempi numerici menzionati sopra. Esempi di strutture le cui operazioni soddisfano altre leggi, a volte apparentemente controintuitive, sono ireticoli,l'algebra di Boolee lealgebre di Lie.

Algebra lineare

modifica
Lo stesso argomento in dettaglio:Algebra lineare.

L'algebra linearestudia lematricie glispazi vettoriali. Uno spazio vettoriale è una generalizzazione astratta della nozione dell'insieme deivettoridel piano (o dello spazio) in senso fisico. Uno dei suoi principali vantaggi è la possibilità di introdurre spazi di qualunque dimensione (anche infinita). Viene applicata anche per studiare leequazioni lineari,cioè le equazioni omogenee di primo grado. Le applicazioni dell'algebra lineare sono di importanza fondamentale in fisica, in molte branche (anche non algebriche) della matematica e in altre discipline scientifiche.

Teoria dei gruppi

modifica
Lo stesso argomento in dettaglio:Teoria dei gruppi.

Ungruppoè una struttura algebrica dotata di una singolaoperazione binariache soddisfa alcune ben determinate proprietà (gli assiomi di gruppo). Esempi di gruppi sono inumeri interi,con l'operazione di somma, oppure l'insieme dellesimmetriedi un particolare oggetto geometrico (con l'operazione dicomposizione di funzioni). È da notare che, mentre nel primo caso vale la proprietà commutativa(il gruppo si diceabeliano), la proprietà analoga non vale, in generale, nel secondo caso, perché non è necessariamente vero che.

Lateoria dei gruppistudia le strutture di gruppo. Oltre ad avere un profondo interesse intrinseco, la teoria dei gruppi ha importanti applicazioni in quasi tutti i settori dellageometria,e in particolare allatopologia,e allo studio dellesimmetrie.Ha anche una forte correlazione con lacombinatoria:l'insieme dellepermutazionidi un insieme è ad esempio un gruppo rispetto alla composizione di funzioni. Ha anche notevoli applicazioni in teoria dei numeri, e talvolta in analisi.

Teoria degli anelli

modifica
Lo stesso argomento in dettaglio:Teoria degli anelli.

Unanelloè una struttura algebrica con due operazioni, la prima delle quali soddisfa agli assiomi di ungruppo commutativo.Considerando anche la seconda operazione, si richiede che vengano soddisfatte molte delle proprietà valide per i numeri interi, con le operazioni di somma e prodotto. Ma, ad esempio, in un anello generico può capitare che,senza che necessariamente uno degli elementiosia uguale a(questa proprietà è invece verificata negli interi). Tra gli insiemi che risultano essere degli anelli, troviamo l'insieme deipolinomia coefficienti in un dato anello, quello dellematrici(con opportune operazioni di somma e prodotto), e l'insieme deinumeri razionali.

Lateoria degli anellistudia queste strutture, e ha applicazioni in algebra e in molte altre branche della matematica, in particolare ingeometria algebrica.

Teoria dei campi

modifica
Lo stesso argomento in dettaglio:Teoria dei campi (matematica).

Uncampoè un anello che deve soddisfare degli assiomi ulteriori, che, intuitivamente, asseriscono la possibilità di effettuare le divisioni (ovviamente solo per un elemento non nullo). Ad esempio gliinterinon sono un campo, mentre irazionalisì.

Lateoria dei campistudia queste strutture. I campi sono l'oggetto base necessario per la definizione deglispazi vettorialie quindi per tutta l'algebra lineare.Lateoria di Galoisè una teoria che mette in relazione i campi, e le loro possibili estensioni, coi gruppi finiti, e i loro possibili sottogruppi. La teoria di Galois fornisce metodi estremamente potenti per lo studio della risolubilità delle equazioni; in particolare, è fondamentale per dimostrare che non esiste una formula generale (che faccia uso solo di radicali) per la risoluzione delle equazioni di 5º grado o superiore.

Algebra computazionale

modifica
Lo stesso argomento in dettaglio:Algebra computazionale.

L'algebra computazionalestudia gli algoritmi per la manipolazione simbolica di oggetti matematici.

Altre branche dell'algebra astratta

modifica

Oltre alle strutture già descritte, l'algebra ne studia molte altre, tra cuisemigruppi,reticoli,moduli,algebre su campo,bialgebre,algebre di Hopf,superalgebre.

Altri usi

modifica

Il termine "algebra" viene usato per indicare varie specie di strutture algebriche composite:

  1. ^Vocealgebra,in Enciclopedia della Matematica (2013), treccani.it.

Bibliografia

modifica

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF4968·LCCN(EN)sh85003425·GND(DE)4001156-2·BNE(ES)XX527665(data)·BNF(FR)cb119308580(data)·J9U(EN,HE)987007293933405171·NDL(EN,JA)00561221
Portale Matematica:accedi alle voci di Wikipedia che trattano di matematica