Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] abbiamo detto a proposito degli integrali su insiemi di misura nulla, è chiaro che questa è una pseudometrica e che, per la relazionediequivalenza ρ(f, g)=0, la classe diequivalenza contenente f è l'insieme di tutte le funzioni uguali a f q. o ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] stessa parola, si definisce 'coppia critica'.
Esiste un algoritmo che permette di completare un sistema di riscrittura e trasformarlo in un uno confluente senza alterare la relazionediequivalenza. Dovuto a Donald E. Knuth e Peter B. Bendix, esso ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] mondi un valore nell'insieme {1,0}. Negli S4-modelli la R è riflessiva e transitiva, negli S5-modelli una relazionediequivalenza. I risultati di completezza dimostrati da Kripke assicurano che tutte e sole le KT(S4,S5)-tesi sono valide nelle classi ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] , dovuto a Donald E. Knuth e Peter B. Bendix, che permette di completare un sistema di riscrittura e trasformarlo in uno confluente senza alterare la relazionediequivalenza: esso cerca le coppie critiche e le aggiunge, con un opportuno orientamento ...
Leggi Tutto
SEVERI, Francesco
Enrico Rogora
SEVERI, Francesco. – Nacque ad Arezzo il 13 aprile 1879, da Cosimo, notaio, e da Licina Cambi. Fu ultimo di nove figli.
Il padre, patriota e garibaldino, si suicidò il [...] b) Il teorema della base, che afferma che il gruppo di Neron-Severi di una superficie, ovvero il gruppo libero generato dai divisori modulo la relazionediequivalenza algebrica, è finitamente generato (Sulla totalità delle curve algebriche tracciate ...
Leggi Tutto
matrice
matrice tabella rettangolare di simboli, detti elementi della matrice, che rappresentano numeri reali, numeri complessi o, più in generale, elementi di un campo K o di un anello A. Gli elementi [...] tutto analogo si definiscono le operazioni elementari sulle colonne e l’equivalenzadi due matrici per colonne. L’equivalenza per righe o per colonne è una relazionediequivalenza. Utilizzando le operazioni elementari, si ottengono, per esempio, le ...
Leggi Tutto
gruppo
gruppo struttura algebrica con una operazione, alla base della definizione di molte altre strutture, quali gli anelli, i campi, gli spazi vettoriali ecc. È un insieme non vuoto G dotato di una [...] −1 ∈ H. Se G è un gruppo e se H è un suo sottogruppo normale, allora si considera la relazionediequivalenza:
L’insieme delle classi diequivalenza rispetto a tale relazione eredita naturalmente l’operazione definita in G e acquisisce la struttura ...
Leggi Tutto
Fermi, Enrico
Lorenzo Foà
Un geniale maestro della fisica moderna
Enrico Fermi ha lasciato un segno profondo nella fisica del Novecento, occupandosi sia di problemi teorici sia di questioni sperimentali. [...] del neutrone e quella del protone, moltiplicata per c2 (il quadrato della velocità della luce) secondo la relazionediequivalenza tra massa ed energia prevista da Einstein. Dopo il decadimento, il neutrino scompare nello spazio senza essere rivelato ...
Leggi Tutto
vettore
vettore nozione suggerita originariamente dallo studio di grandezze fisiche, quali velocità, accelerazione, forza ecc. (dette grandezze vettoriali) la cui descrizione non può esaurirsi in un [...] aventi la stessa lunghezza, la stessa direzione e lo stesso verso sono detti equipollenti e la relazionedi equipollenza è una relazionediequivalenza tra vettori applicati. Si definisce allora vettore libero, o semplicemente vettore, ogni classe ...
Leggi Tutto
cardinalita
cardinalità nozione introdotta da G. Cantor che generalizza il concetto intuitivo di “numero di elementi di un insieme” astraendo dalla natura e dall’ordine degli elementi stessi. La nozione, [...] . Meno facile è definire questo concetto per un insieme con un numero infinito di elementi. Per formalizzare il problema, si definisce una particolare relazionediequivalenza tra insiemi: l’equipotenza; due insiemi si dicono equipotenti se tra ...
Leggi Tutto
equivalenza
equivalènza s. f. [der. di equivalere]. – 1. L’equivalere, l’essere equivalente; uguaglianza di valori, in genere tra cose di natura o qualità diversa: e. di due locuzioni, di due grandezze. 2. In fisica, principî di e., quelli...
relazione
relazióne s. f. [dal lat. relatio -onis, der. di referre «riferire», part. pass. relatus]. – 1. L’azione e il fatto di riferire, e il testo stesso, orale e scritto, con cui si riferisce, e la sua forma: fare, presentare una r.; r....