ultraprodotto

ultraprodotto

ultraprodótto [Comp. di ultra e prodotto] [ALG] Operazione tra opportuni sottoinsiemi di particolari tipi di insiemi; precis., sia dato un insieme I e per ogni i∈I siano Ai un'interpretazione sull'universo Ui di un prefissato linguaggio predicativo del primo ordine e A il prodotto cartesiano degli Ai; se F è un ultrafiltro su I, è possibile definire una speciale relazione di equivalenza su A e, in conseguenza, un u. Ui come opportuno insieme quoziente; se, in partic., tutti gli u. Ui sono uguali tra loro, si parla di ultrapotenza: v. analisi non standard: I 145 b.