semigruppo In matematica, insieme in cui è definita un’operazione (o legge di composizione interna) binaria associativa per la quale valgano le due regole di semplificazione a sinistra e a destra, tale [...] ha come conseguenza che due differenti parole possono essere equivalenti. Le classi di parole tra loro equivalenti sono elementi di un semigruppo. Il problema è di individuare un procedimento per stabilire se in un generico s. due parole siano o no ...
Leggi Tutto
generatore di un semigruppo
Luca Tomassini
Siano X uno spazio di Banach con norma ∣∣∙∣∣ e B(X) l’insieme degli operatori continui su di esso. Si dice semigruppo di operatori {T(t)∣t≥0} una famiglia [...] denso in X il cui risolvente R(λ,A)=(A−I)−1 soddisfa le disuguaglianze
[2] formula(
ω=limt→∞ t−1ln∣∣T(t)∣∣ è detto tipo del semigruppo T(t)) e viceversa un operatore lineare B chiuso e densamente definito che soddisfa la [1] è generatore di un ...
Leggi Tutto
teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] strutture topologiche, quali gli spazi vettoriali topologici o anche di Banach. In questo caso si parla di teoria dei semigruppi di operatori (lineari o non linerari) e il suo sviluppo ha costituito uno stimolo essenziale alla crescita dell’analisi ...
Leggi Tutto
monoide
monòide [Der. di mono- con il suff. -oide] [ALG] (a) Superficie algebrica irriducibile di ordine n, avente un punto di molteplicità n-1; l'equazione cartesiana, quando l'origine coincida con [...] punto è un qualunque punto semplice; un esempio un po' meno semplice è la superficie cubica con quattro punti doppi mostrata nella figura. (b) Semigruppo dotato di un elemento neutro, cioè di un elemento che, moltiplicato per qualunque elemento del ...
Leggi Tutto
tipo
tipo [Stesso etimo di tipo-] [LSF] Modello, sia concreto che ideale, al quale rifarsi. ◆ [ANM] T. di un semigruppo: v. semigruppo: V 168 b. ◆ [ASF] T. spettrali di stelle (anche classi spettrali [...] di stelle): v. stella: V 622 Tab. 4.2. ◆ [STF] [ALG] [FAF] Teoria dei t. logici: teoria introdotta da B. Russel nel 1903 e successiv. modificata e perfezionata da lui stesso e da altri allo scopo di evitare ...
Leggi Tutto
Brown L.G.
Brown 〈bràun〉 L.G. [STF] (n. 1943) Prof. di matematica nella Purdue Univ., a West Lafayette, Indiana. ◆ [ALG] Semigruppo di B.-Douglas-Fillmore: v. algebre di operatori: I 96 e. ...
Leggi Tutto
gruppoide
gruppòide [Der. di gruppo, con il suff. -oide] [ALG] Insieme G di elementi nel quale è definita un'operazione di composizione per coppie di elementi, ma non necessariamente per tutte le coppie [...] (se accade ciò, si parla di semigruppo: v. algebra: I 91 c), cioè una legge che a una coppia a e b di elementi di G associ un elemento ben determinato di G, indicato come ab e chiamato prodotto. ◆ [ALG] G. associativo, o pseudogruppo o quasi gruppo: ...
Leggi Tutto
Operatori, teoria degli
Helmut H. Schaefer e Manfred P. Wolff
Sommario: 1. Introduzione. 2. Operatori lineari fra spazi di dimensione finita. a) Generalità. b) Operatori hermitiani, normali e unitari. [...] parametro (e perciò anche i gruppi a un parametro) è chiarito dal teorema di Hille-Yosida (v. Hille e Phillips, 19572): sia (Tt) un semigruppo a un parametro fortemente continuo e D(A) l'insieme di tutti gli x in E per i quali la funzione t → Tt (x ...
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. [...] star-free, in quanto si può ottenere come il complementare dell'insieme delle successioni aventi qualche blocco 00 o 11. Inoltre, un semigruppo finito S si dice 'aperiodico' se esiste un intero n≥1 tale che per ogni x∈S si abbia xn+1=xn. Allora ...
Leggi Tutto
semigruppo
s. m. [comp. di semi- e gruppo]. – Genericam., mezzo gruppo, metà di un gruppo. In matematica, struttura algebrica costituita da un insieme in cui è definita un’operazione (o legge di composizione interna) binaria associativa: per...
monoide
monòide s. m. [comp. di mono- e -oide]. – In algebra: 1. Superficie algebrica irriducibile di ordine n, avente un punto di molteplicità n - 1; il più semplice esempio di monoide è fornito da una quadrica, in cui cioè n = 2 e il punto...