Database degli esercizi — book index

Italian

• \(\overline A\) , see insieme, chiusura .
• \(\partial A\) , see frontiera .
• \(A^c\) , see insieme complementare .
• \(B(x,r)\) , see palla .
• \(C\) , see funzione continua .
• \(ℂ \) , see numeri complessi .
• \(C^0\) , see funzione continua .
• \(D(x,r)\) , see disco .
• \(\Delta \) , see insieme, differenza simmetrica .
• \( 𝕀 \) , see matrice identità .
• \(ℕ \) , see numeri naturali , 1X9 .
• \(ℚ \) , see numeri razionali .
• \( \overline ℝ \) , see retta estesa .
• \(ℝ \) , see numeri reali , see retta reale .
• \( S^1\) , see circonferenza .
• \(S(x,r)\) , see sfera .
• \(ℤ \) , see numeri interi .
• \(\Vert \cdot \Vert \) , see also norma .
• \(⧺ \) , see concatenazione .
• \(\setminus \) , see insieme differenza .
• \( \partial f\) , see sottodifferenziale .
• = , see uguaglianza .
• \(e\) , see numero di Nepero .
• (parziale) , 24W .
• Babilonese, metodo --- , 0DN .
• Baire, categoria , 0VZ , 152 .
• Banach , see spazio di Banach , see also teorema di Hahn--Banach .
• C , see funzione continua .
• CH , see ipotesi del continuo .
• Cantor , see also ipotesi del continuo .
• Cantor, insieme di , 2FB , 0XC , 0ZJ , 19Y , 0W4 .
• Cantor, teorema dell'intersezione , 0BF , 0J6 , 0VP .
• Cartesio, criterio di — , 1D7 .
• Cauchy, criterio di condensazione di --- , 21D .
• Cauchy, prodotto di --- , see prodotto di Cauchy .
• Cauchy, successione , see successione di Cauchy .
• Darboux, esempio , 1CP .
• Darboux, proprietà di , 1C8 .
• Dedekind-infinito , 04G , 04M .
• Dirichlet, teorema di approssimazione di --- , 0C1 .
• Euler's number , see numero di Nepero .
• Eulero , 1M3 , 1M7 .
• Hahn , see also teorema di Hahn--Banach .
• Hamel, base di --- , 02D , 057 .
• Hôpital, regola , see regola di De l'Hôpital .
• \( 𝕀 \) , see matrice identità .
• Jacobi , see formula di Jacobi .
• Jacobi, matrice di --- , 1G8 , 1GQ .
• Lagrange, moltiplicatore di --- , see moltiplicatore di Lagrange .
• Lagrange, resto di — , see resto di Lagrange .
• Lagrange, teorema di --- , see teorema di Lagrange .
• Landau, simboli di — , see simboli di Landau .
• Leibniz, criterio di — , 0CN , 238 .
• Leibniz, formula di — , see formula di Leibniz .
• Minkowski, dimensione di --- , 0YJ .
• Nepero , 1M3 .
• O grande , see simboli di Landau .
• Osgood , 1QR .
• Riemann , see also integrale di Riemann , see also funzione Riemann integrabile .
• S-saturo , 24X .
• Taylor , see also teorema di Taylor , see also serie di Taylor , see also serie di Taylor .
• UC , see funzione uniformemente continua .
• Young, disuguaglianza , see disuguaglianza di Young .
• ZF , see teoria formale degli insiemi .
• \( \Gamma \) , see funzione Gamma .
• aderente , see punto aderente .
• algebrico , 0C7 .
• anello , 1ZG .
• anello, di polinomi , 0C8 .
• anello, ordinato , 1ZJ , 1ZT , 1ZV .
• antiriflessiva, relazione , 23X , 224 , 24K .
• antisimmetrica, relazione , 23X , 224 , 24K .
• aperto , see insieme aperto .
• apice , 228 .
• appartenenza , 1X2 .
• apre-chiude , 0Q8 .
• archimedeo , 1ZK .
• assioma, dell'infinito , 241 , 01Y , 243 .
• assioma, dell'insieme potenza , 1Y1 , 022 .
• assioma, dell'insieme vuoto , 014 .
• assioma, dell'unione , 1Y2 , 026 .
• assioma, della coppia , 1Y3 .
• assioma, della scelta , 23R , 02H , 02H , 2GF .
• assioma, di buona fondazione , 01R , 25G .
• assioma, di estensionalità , 1Y8 , 241 .
• assioma, di regolarità , 241 , 01R , 25G .
• assioma, di rimpiazzamento , 241 .
• assioma, di specificazione , 1Y0 .
• assioma, primo --- di numerabilità , 0MC , 13Y .
• assioma, secondo --- di numerabilità , 0MD , 0MH , 0Q5 , 0Q7 , 0T4 .
• assiomi, di Peano , 1XB .
• assiomi, di Zermelo–Fraenkel , see teoria formale degli insiemi .
• assiomi, di Zermelo—Fraenkel , 01J .
• associativa, addizione , 27Q .
• atomo , 1YS , 00G , 01J .
• base, (induzione) , 1XC .
• base, (spazi vettoriali) , 02D , 057 .
• base, (topologia) , 0HR , 2B5 and following , 0KK , — — — — — — — — — — — — — — 2F5 , — — 0QJ .
• ben formata , see formula ben formata .
• binomiale , see teorema binomiale , see also coefficiente binomiale .
• bucato , see intorno bucato .
• campo , 1ZH .
• campo, ordinato , 1ZX .
• campo, ordinato, \(ℂ \) , 08V .
• cancellazione , see eliminazione .
• caratteristica , see funzione caratteristica , see funzione caratteristica .
• cardinalità , 1YW and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• cardinalità, confronto , 1YW .
• cardinalità, del continuo , 1YW , 03V , 0MZ , 2F3 .
• cardinalità, finita , 1YW , 1B1 .
• cardinalità, numerabile , 1YW .
• categoria , see also teorema di Baire , see also insieme, di prima/seconda — .
• categoria di Baire , 0VZ , 152 .
• catena , 01P .
• cerchio osculatore , 1TJ , 1TJ .
• chiuso , see insieme chiuso .
• chiusura , 0G7 , 0HM , 0KS , 0P8 , 0PP , 0PQ , 0Q8 , 176 , 178 , 0PN .
• chiusura, e parte interna , 0GJ , 0SG .
• chiusura, in spazio metrico , 0NX .
• chiusura, ripetuta , 0GH .
• circonferenza , 0Y3 , 0Y4 .
• coefficiente, binomiale , 205 , 1FP .
• cofinale , 06P , 2B6 .
• combinazione convessa , 16W .
• combinazione lineare finita , 02D .
• commutativo, anello— , 1ZG .
• commutativo, gruppo — , 1ZF .
• comparabile , 229 .
• compatto , 0J3 , 0J6 , 2CB , 0V3 , 0VP .
• compatto, e rete , 0K8 .
• compatto, e ultrametrica , 0X6 .
• compatto, sequenzialmente , 0V3 .
• complementare, insieme , see insieme complementare , see insieme complementare .
• complessi , see numeri complessi .
• completo , 0X4 .
• componente connessa , 0JT .
• concatenazione , 21W .
• condizione di unicità di Osgood , 1QR .
• congiunzione , 00D .
• connessione, in spazi metrici , 2C5 and following , 0RR .
• connesso, per archi , 0RG .
• continuo, cardinalità del — , 03V , 2F3 .
• controimmagine , 091 .
• contronominale , 00N .
• convergenza a segni alterni , see criterio di Leibniz .
• convergenza, di serie , 0CN and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — 0DW , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• convergenza, di successione , 0MT .
• convergenza, puntuale , 0MP , 1HQ and following , 2DT , — — — — 1HW , — — — — — — — — — — — — —
• convergenza, totale , 116 , 118 , 1T1 .
• convergenza, totale, criterio --- , 118 .
• convergenza, uniforme , 1HQ and following , 2DT , — — — — — — — — — — — — — — — — —
• costante di Eulero-Mascheroni , 0D6 .
• costante, di Nepero , 1M3 .
• crescente , 2DJ .
• criterio di Cartesio , 1D7 .
• criterio, del rapporto , 21C .
• criterio, della radice , 219 .
• criterio, di Dirichlet , 21F .
• criterio, di Dirichlet, per gli integrali , 1TX .
• criterio, di Leibniz , 0CN , 238 .
• criterio, di condensazione di Cauchy , 21D .
• criterio, di convergenza a segni alterni , see criterio di Leibniz .
• criterio, di convergenza totale , 118 .
• curva , 1NT and following , — 1NV , — — — — — — — — — — — — — — — — — — — —
• curva, chiusa , 1PB .
• curva, chiusa semplice , 2FW , 2G6 , 1PB .
• curva, di Hilbert , 1P5 .
• curva, di Koch , 0ZG .
• curva, di Peano , 1P5 .
• curva, embedded , 1NV , 1P0 .
• curva, immersa , 1NV .
• curva, inclusa , 1NV , 1P0 .
• curva, parametrica , 1NV , 1PB .
• curva, poligonale , 2G6 , 2FN .
• curva, regolare , see curva, immersa .
• curva, semplice , 1NV .
• curva, sostegno , 1NV .
• curva, supporto , 1NV .
• decrescente , 2DJ .
• definitivamente , 02M , 06Y , 064 , 018 , 0B3 , 20D , 20G , 20N , 0DJ , 02F , 21B , 21C , 0DR , 2B6 .
• definizione, per ricorrenza , 08Z .
• denso , see insieme, denso .
• denso, in spazio metrico , 0NX .
• derivata, parziale , 2D3 and following , — — — — — — —
• derivata, totale , 2D3 and following , — — — — — — —
• derivato , 0HM .
• determinante , see matrice, determinante .
• diffeomorfismo , 1NX .
• differenziale , 2D3 and following , — — — — — — —
• dilatazione , 124 .
• dimensione, box dimension , 0Z7 .
• dimensione, di Minkowski , 0YJ .
• diretto , see ordinamento diretto .
• disco , 0NW , 0P1 , 0PY , 0Q0 , 0SM , 0VD , 106 .
• disco, in ultrametrica , 0WR .
• discreta, topologia — , 2F6 , 2FD , 2F9 , 0QF .
• diseguaglianza , see disuguaglianza .
• disgiunzione , 00D .
• distance function , 0R9 .
• distanza , 0MS .
• distanza p-adica , 0XF .
• distanza, discreta , 2C1 .
• disuguaglianza di Hölder , 10M .
• disuguaglianza di Young , 10M , 194 , 1V7 .
• disuguaglianza triangolare , 0B0 , 0MS , 0WN , 0ZV , 0ZX .
• disuguaglianza, di Jensen , 1C3 .
• divisione con resto , 28J .
• dominio d'integrità , 203 .
• doppia implicazione , 00D .
• \(e\) , see numero di Nepero .
• elevazione a potenza , see potenza .
• eliminazione , 27V , 28B , 28R .
• embedded, curva , see curva, embedded .
• enumerazione , 2DF , 1T9 .
• epigrafico , 13D , 181 .
• equazione differenziale , see ODE .
• equazioni, di Bessel , 1KM .
• equicontinua , 1J3 .
• equinumerosi , 22B .
• equiordinato , 07V .
• equipotenti , 22B .
• equivalenti, norme , 107 , 109 .
• equivalenza , see relazione, di equivalenza .
• erosione , 124 .
• esponenziale , 1M3 , 1SD .
• esponenziale, di matrici , 1MF .
• estremo inferiore , 22R .
• estremo inferiore, nella retta reale , 209 , 20B .
• estremo superiore , 22R .
• estremo superiore, nella retta reale , 08T .
• etichettato , see poligono .
• famiglia equicontinua , 1HR , 1JG .
• filtrante , see ordinamento con proprietà filtrante .
• finito , see insieme, finito .
• formula, atomica , 00G .
• formula, ben formata , 1YS , 1YS , 00G , 1YK , 00K , 00R , 013 , 252 , 05Z .
• formula, ben formata, con quantificatori , 00Q , 00V .
• formula, ben formata, in teoria degli insiemi , 01J .
• formula, ben formata, valutazione , 00J , 00N .
• formula, di Jacobi , 1MT , 1V2 , 1V4 .
• formula, di Leibniz , 1DG .
• formula, di Newton , see teorema binomiale .
• formula, di Taylor , see teorema di Taylor .
• formula, esiste ed è unico , 013 .
• forte, principio forte di induzione , 1XS .
• frequentemente , 06Y , 064 , 018 , 0B3 .
• frontiera , 0G7 , 0H7 , 0HM , 174 .
• frontiera, ripetutamente , 0H9 .
• funzionale, relazione --- , 23X , 1Y6 .
• funzione , 1Y6 .
• funzione distanza , 2C4 and following , 0R8 .
• funzione distanza, e insiemi convessi , 198 , 19B .
• funzione, Gamma , 1BM .
• funzione, Hölderiana , 2DR and following , 162 , 163 , 16F , 1GX , 1J3 .
• funzione, Lipschitziana , 0NH , 0R9 , 0Y0 , 156 , 2DR and following , 162 , 163 , 16F , 17W , 18J , 1GX , 1GZ .
• funzione, Riemann integrabile , 14T , 19K and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — 1J3 .
• funzione, analitica , 1N4 and following , — — — — — — —
• funzione, assolutamente omogenea , 0ZV .
• funzione, bi--Lipschitziana , 0Y0 .
• funzione, caratteristica , 05R , 05S , 0BP , 2BP , 19Y .
• funzione, continua , 2B8 and following , 2B9 , 2DP and following , — 2DN , — — — — — — — — — — — —
• funzione, continua a destra , 147 .
• funzione, convessa , 0ZX , 16V and following , — — — — — — — — — — — — — — — — — — — — — — — — — 17Y , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — 1J3 .
• funzione, costante a tratti , 144 .
• funzione, discontinua , 152 .
• funzione, indicatrice , see funzione caratteristica .
• funzione, inversa sinistra , 2BZ .
• funzione, liminf di — , see liminf .
• funzione, limitata , 142 , 1J3 .
• funzione, limsup di — , see limsup .
• funzione, monotona , 147 , 1J3 .
• funzione, parziale , 23X , 01P .
• funzione, positivamente omogenea , 0ZW , 0ZX .
• funzione, propria , 0T3 .
• funzione, regolare a tratti , 1QK .
• funzione, regolata , 2CT and following , 141 , 142 , 143 , 144 , 1B3 , 1B4 , 1B6 , 1B9 , 1J3 .
• funzione, semi continua , see semicontinua inferiormente/superiormente .
• funzione, strettamente convessa , 17Y .
• funzione, subadditiva , 0N1 , 15W , 192 .
• funzione, subadditiva, e ultrametrica , 0WY .
• funzione, uniformemente continua , 2DQ and following , — 155 , — — — — 15F , — — — — — — — — 163 , 16F , 1J3 , 1JN , 1JQ .
• funzione, uniformemente continua, spazio delle , 1JX .
• funzioni, equicontinue , 1J3 .
• genera , 02D , 057 .
• grafico , 1Y6 .
• gruppo , 1ZF .
• gruppo topologico , 0X8 .
• identità di Abel , 1T3 .
• identità, di Eulero , 1M7 .
• immagine , 092 .
• immersa, curva , see curva immersa .
• implicazione , 00D .
• inclusa, curva , see curva, inclusa .
• incomparabile , 229 .
• indiscreta, topologia — , 2F6 .
• induction , 23B .
• induzione , 23B , 1XC .
• induzione forte , 1XS .
• induzione, transfinita , 1XY .
• inf , see estremo inferiore .
• inf-convoluzione , 13P .
• inferiormente limitato , 22R .
• infinito , see insieme, infinito .
• iniettiva , 23X .
• insieme, Dedekind-infinito , 04G , 04M .
• insieme, aperto, in spazio metrico , 0NX .
• insieme, aperto, in topologia , 0G6 .
• insieme, chiuso, in spazio metrico , 0NX .
• insieme, chiuso, in topologia , 0G6 .
• insieme, chiusura , see chiusura .
• insieme, compatto , see compatto .
• insieme, complementare , 23S , 05R , 063 , 0G5 , 0H7 , 0P6 .
• insieme, connesso , 2BR .
• insieme, connesso per archi , 0RG .
• insieme, convesso , 2F0 and following , — — 16X , —
• insieme, convesso, strettamente , 19D .
• insieme, delle parti finite , 03R , 053 , 0F5 , 0FW .
• insieme, denso , 0G7 .
• insieme, derivato , 0GY , 2C2 , 0QV , 0SD , 0T5 .
• insieme, di Cantor , see Cantor, insieme di .
• insieme, di prima categoria , 0VW .
• insieme, di seconda categoria , 0VW .
• insieme, di sottolivello , 182 .
• insieme, differenza , 23S .
• insieme, differenza simmetrica , 23S .
• insieme, differenza simmetrica, usando le caratteristiche , 05S .
• insieme, disconnesso , 2BR .
• insieme, finito , 1B1 , 04J .
• insieme, frontiera , see frontiera , 0H7 .
• insieme, infinito , 1B1 .
• insieme, infinito, Dedekind --- , 04G , 04M .
• insieme, ingrassato , 0RC .
• insieme, numerabile , 04J .
• insieme, parte interna , see parte interna .
• insieme, perfetto , 09S , 2F3 , 0W3 .
• insieme, potenza , 242 , 1Y1 .
• insieme, vuoto , 242 , 014 .
• insiemi, teoria degli --- , see also teoria ... , see also assiomi ... .
• integrale di Riemann , 14T , 19K and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — 1FZ .
• interi , see numeri interi .
• interpolazione polinomiale , 09J , 1F7 .
• intersezione di insiemi , 1W1 .
• intervallo , 2DW and following , 07C , — — — — — — — —
• intervallo, standard , 07D .
• intorno , 0GW .
• intorno, bucato , 0B2 , 0BG , 20D .
• intorno, bucato, in uno spazio topologico , 0GY .
• intorno, di infinito , 231 .
• intorno, in \( ℝ \) , 0B2 .
• intorno, sistema fondamentale di — , 0GW , 0MM , 2BP .
• inversa destra , 2BX .
• inversa sinistra , 2BZ , 2BX .
• inviluppo convesso , 130 , 2G4 .
• iperpiano di supporto , 17J .
• ipotesi del continuo , 2F2 , 2F3 .
• irriflessiva, relazione , 23X , 224 , 24K .
• isolato , see punto isolato .
• isometria , 0TM , 0TT , 0TW , 0TZ .
• isometria lineare , 111 .
• isomorfismo d'ordine , 07V .
• isotonia , 07V .
• lemma, del Dini , 1HS .
• lemma, di Abel , 1KJ .
• lemma, di Gronwall , 1QB .
• lemma, di Hadamard , 1F1 .
• lemma, di Zorn , 23R , 17J .
• lessicografico , see ordinamento, lessicografico .
• liminf, di funzione , 29P and following , — 20F , — — 0BK , — — — — — — — —
• liminf, di insiemi , 1Z2 , 063 , 064 , 065 , 0BP .
• liminf, di successione , 0BQ .
• limitato, totalmente , 0V3 , 0VG , 2GB .
• limite inferiore , see liminf .
• limite superiore , see limsup .
• limsup, di funzione , 29P and following , — 20F , — — 0BK , — — — — — — — —
• limsup, di insiemi , 1Z2 , 063 , 064 , 065 , 0BP .
• limsup, di successione , 0BQ .
• linea , see also retta .
• linear, order , see ordinamento, totale .
• linearmente indipendenti , 02D , 057 .
• localmente compatto , 0VD .
• logaritmo , 21N .
• maggioranti , 22R .
• massimale , 229 , 06V .
• massimo , 229 , 06V , 0HT .
• massimo comun divisore , 1WH .
• matrice identità , 1MG .
• matrice, aggiunta , 1V2 .
• matrice, dei cofattori , 1V2 .
• matrice, determinante , 1V0 , 1V2 , 1V4 .
• matrice, di Jacobi , 1G8 , 1GQ .
• metodo Babilonese , 0DN .
• minimale , 229 , 1XP .
• minimo , 229 .
• minimo, su convessi , 18B .
• minoranti , 22R .
• modulo di continuità , 156 , 15F , 161 , 163 , 1HR , 1J3 , 1JG .
• moltiplicatore di Lagrange , 10F , 10M , 1H8 , 1HB .
• monotona , 2DJ .
• naturali , see numeri naturali .
• negazione , 00D .
• norma , 0ZV .
• norma indotta , 2CM .
• norma, di Frobenious , 11H .
• norma, e dimensione , 0Z1 .
• norma, spettrale , 11G .
• norme, equivalenti , 107 , 109 .
• notazione di Landau , see simboli di Landau .
• numeri complessi , 1ZD , 0FH , 19M , 1K9 , 1SN .
• numeri interi , 03M .
• numeri interi, densi in ultrametrica , 0XW .
• numeri irrazionali , 0C1 , 0VZ , 152 , 19Y .
• numeri naturali , 1X9 and following .
• numeri naturali, ordinamento , 26Y .
• numeri naturali, potenza , 280 .
• numeri razionali , 03M , 1ZD , 200 , 29Q , 0C1 , 19Y , 1T9 .
• numeri razionali, e ultrametrica , 0XF , 0XM , 0XY , 0Y0 .
• numeri reali , see also retta reale , 1ZD .
• numeri reali, approssimazione di — , 29Q .
• numero di Nepero , 1M3 .
• numero irrazionale, approssimazione di — , 29Q .
• numero, algebrico , 0C7 .
• numero, trascendente , 0C7 .
• o piccolo , see simboli di Landau .
• omeomorfismo , 0J8 , 2B9 , 09T , 2F3 , 0V8 , 21N , 1NW , 1P0 , 1PH , 1PN .
• ordinale , 26D .
• ordinamento , 1Y5 , 1YY and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• ordinamento, (parziale) , 24W .
• ordinamento, con proprietà filtrante , 2FJ and following , — 06M , — — — — 06Q , — — — — — — — — — — — 237 , 2B6 .
• ordinamento, con proprietà filtrante, e rete , 21J .
• ordinamento, dei numeri naturali , 26Y .
• ordinamento, diretto , 2FJ and following , — 06N , — — 06P , — — — — — — — — — — — — — 2B2 , 237 , 0HS , 0HT , 0HW , 0K5 .
• ordinamento, diretto, di insiemi , 0GQ , 0KG .
• ordinamento, lessicografico , 2FH and following , — 071 , — — — — — 2F9 .
• ordinamento, parziale , 1Y5 , 224 .
• ordinamento, parziale stretto , 224 .
• ordinamento, topologia dall'— , 2F5 , 2F9 .
• ordinamento, totale , 1Y5 , 24W , 24K , 2F5 , 2F9 .
• ordinamento, totale stretto , 24K .
• ordine , see also ordinamento .
• ordine, tipo di --- , 07V .
• ordini di grandezza , 02F .
• orecchio , 0JN .
• oscillazione , 13T , 143 .
• p-adica, distanza --- , 0XF .
• p-adica, valutazione --- , 0XG , 0XM .
• palla , 0NW , 0P1 , 0SM , 106 .
• palla, in ultrametrica , 0WR .
• palla, inclusioni , 0NZ .
• parametrica, curva , see curva parametrica .
• parte frazionaria , 0BT .
• parte intera , see floor , 0BY , 0D6 .
• parte interna , 0G7 , 0GF , 0GH , 0HM , 0KS , 0P3 , 0PB , 0PD , 0PG , 0PJ , 0PM , 0Q8 , 172 , 174 , 176 , 178 .
• parte interna, e chiusura , 0GJ , 0SG .
• parte interna, in spazio metrico , 0NX .
• parziale, derivata , see derivata parziale .
• parziale, funzione --- , 23X , 01P .
• pedice , 228 .
• perfetto , 09S , 2F3 , 0W3 .
• poligono , 2FN , 10Y .
• poligono, (non) etichettato , 2CD .
• poligono, orecchio , 0JN .
• polinomio , 09J , 03H , 29Q and following , — — — — — — — — — 0C7 , — — — — — — — — — 19M , 1F7 , 23Z , 1SC , 1SD , 1SF , 1SH , 1SK , 1SN , 1SP .
• polinomio, anello di polinomi , 0C8 .
• polinomio, convergenza di --- , 1J3 .
• polinomio, di Taylor , see teorema di Taylor .
• polinomio, successione di --- , 1J3 .
• potenza , 228 , see also insieme potenza .
• potenza, di naturali , 280 .
• potenza, in un campo , 202 .
• predecessore , 25C , 1Z1 , 1YP .
• preordine , 02M , 1Z7 .
• primo assioma di numerabilità , 0MC , 13Y .
• principio di induzione , 23B , 1XC .
• principio forte di induzione , 1XS .
• prodotto cartesiano , 2FG , 242 , 024 , 02H , 1WY , 05T , 05X , 0M3 , 0M5 , 0QM .
• prodotto cartesiano, di gruppo , 0X8 .
• prodotto cartesiano, di palle , 0QM .
• prodotto cartesiano, e topologia , 2F7 .
• prodotto, di Cauchy , 0FH , 1KQ .
• prodotto, topologia — , 0M3 , 0QM .
• prodotto, topologia — (infinito) , 2F7 , 2F9 .
• proiezione, teorema della --- , 17D .
• proposizione (logica) , 1YS .
• propria, funzione --- , 0T3 .
• proprietà, di Darboux , 1C8 .
• proprietà, di eliminazione , see eliminazione .
• proprietà, di rigidità , 1JG .
• proprietà, filtrante , see ordinamento con proprietà filtrante .
• punto aderente , 0QP , 0QP .
• punto aderente, in spazio metrico , 0NX .
• punto aderente, in uno spazio topologico , 0GX .
• punto di accumulazione , 0HJ , 0HT , 0QP , 2F3 , 138 , 13W , 13Y .
• punto di accumulazione, in spazi metrici , 2C2 and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — 0QN , — — — — — — — — — 0S8 , 0SB .
• punto di accumulazione, in uno spazio topologico , 0GY .
• punto di accumulazione, nella retta reale , 0BG , 0B3 , 0BH , 0SD , 1JS .
• punto fisso , 16J , 16K .
• punto isolato , 0HD , 0HJ , 2F3 , 0T5 , 1TZ .
• punto isolato, in uno spazio topologico , 0GX .
• punto limite, di una rete in uno spazio topologico , 2B4 .
• punto limite, di una successione , 0QX , 0SN .
• puntuale , see convergenza, puntuale .
• raggio di curvatura , 1TJ .
• razionali , see numeri razionali .
• reali , see numeri reali , see retta reale .
• regola di De l'Hôpital , 1C5 .
• regolata , see funzione regolata .
• relazione , 1WY .
• relazione d'ordine , see ordinamento .
• relazione, antiriflessiva , 224 .
• relazione, antisimmetrica , 224 .
• relazione, di equivalenza , 1W5 , 093 , 0MX , 0MZ , 0R2 , 0YD .
• relazione, di equivalenza, fra curve , 1NW , 1NX , 1PN .
• relazione, di equivalenza, in gruppo , 0R5 .
• relazione, di equivalenza, per \( S^1\) , 0Y4 .
• relazione, irriflessiva , 224 .
• relazione, transitiva , 224 .
• rete , 21J , 230 , 0FS , 22Y , 0K4 , 0KD , 0KG , 2BP .
• rete, e compatto , 0K8 .
• retta reale , 1ZD , 09X and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• retta reale, compattificata a un punto , 0HR .
• retta, estesa , 09X , 0HP .
• ricorrenza, definizione per , 08Z .
• riflessiva, relazione , 23X .
• s.c.i. , see semicontinua inferiormente .
• s.c.s. , see semicontinua superiormente .
• scambio di limiti , 0CX .
• secondo assioma di numerabilità , 0MD , 0MH , 0Q5 , 0Q7 , 0T4 .
• segmento iniziale , 07T .
• semicontinua inferiormente , 2CV and following , 138 , — — — — — — — — — — — — —
• semicontinua superiormente , 2CV and following , 138 , — — — — — — — — — — — — —
• semplice, curva , see curva, semplice .
• separabile , 0MH .
• separazione , 17H , 17J , 17T .
• sequenzialmente compatto , 0V3 .
• serie di Taylor , 1C2 , 1KZ , 1NC .
• serie, binomiale , 1FP .
• serie, di potenze , 1K6 and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• sfera , 0PY , 0Q0 , 0SM , 106 , 114 , 1P7 , 1PX .
• simboli di Landau , 1FB , 1FD , 1FF , 1FG , 1FJ .
• simmetrica, relazione , 23X .
• simplesso , 16Z .
• sistema fondamentale di intorni , 0GW , 0MM , 2BP .
• somma di Minkowski , 0BC , 0RC , 2CP , 11R .
• sostegno, di una curva , 1NV .
• sottodifferenziale , 188 , 19B .
• sottorete , 230 , 22Y .
• sottosuccessione , 0D2 , 0D4 , 230 .
• sottosuccessione, convergente , 0MP , 0V3 .
• spazio metrico , 0MR and following , 2CC , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — 13P .
• spazio metrico, e anche gruppo , 0R5 .
• spazio vettoriale , 0MM , 1SN .
• spazio vettoriale, normato , 0ZT and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• spazio vettoriale, normato, strettamente convesso , 0ZZ .
• spazio, delle funzioni uniformemente continue , 1JX .
• spazio, di Banach , 0ZM , 118 , 144 , 14D .
• spazio, di Hausdorff , see Hausdorff .
• spazio, separabile , 0MH , 0MH , 0Q7 .
• spazio, topologico , 0G5 and following , 2DY , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• spazio, totalmente disconnesso , 0K0 , 0QF , 0WW .
• strettamente convesso, spazio vettoriale normato , 0ZZ .
• subadditiva , 0N1 , 15W , 192 .
• successione , 16G .
• successione, convergenza di --- , see convergenza di successione .
• successione, definita per ricorrenza , 08Z , 0CN .
• successione, di Cauchy , 0MT , 0MV , 0N5 , 0N6 , 0N8 , 0NC , 0VD .
• successione, di Cauchy, e sottosuccessione , 0N8 , 0NC .
• successore, negli insiemi bene ordinati , 1Z0 .
• successore, nei numeri naturali secondo Peano , 1XB .
• successore, nella teoria degli insiemi di Zermelo—Fraenkel , 24X , 1YM , 26F .
• sup , see estremo superiore .
• superiormente limitato , 22R .
• supporto , 17J , 17T .
• supporto, di una curva , 1NV .
• surgettiva , 23X .
• sviluppo, binomiale , see teorema binomiale .
• sviluppo, di Laplace , 1V2 .
• sviluppo, di Taylor , see teorema di Taylor .
• tassellatura , 0Z7 .
• tautologia , 00N , 016 , 05Z .
• teorema, Cauchy–Lipschitz , 1QB .
• teorema, Picard–Lindelöf , 1QB .
• teorema, binomiale , 205 .
• teorema, del valor medio , see teorema di Lagrange .
• teorema, dell'incremento finito , see teorema di Lagrange .
• teorema, dell'intersezione , see Cantor, teorema dell'intersezione .
• teorema, della dimensione , 057 .
• teorema, della proiezione , 17D .
• teorema, delle due orecchie , 0JN .
• teorema, di Ascoli--Arzelà , 1HQ , 1K4 .
• teorema, di Baire , 0VV .
• teorema, di De l'Hôpital , see regola di De l'Hôpital .
• teorema, di Edelstein , 0TH .
• teorema, di Hahn--Banach , 17J .
• teorema, di Hurwitz , 1ZW .
• teorema, di Jordan , 2FW .
• teorema, di Lagrange , 1C5 .
• teorema, di Mazur–Ulam , 2CH , 114 .
• teorema, di Mertens , 0FM .
• teorema, di Taylor , 1C5 , 2D2 and following , — — — — — — 1FJ , — — — —
• teorema, di Taylor, con resto di Lagrange , see resto di Lagrange .
• teorema, di Taylor, con resto integrale , 1BR , 1FR .
• teorema, di Taylor, in \( ℝ ^n\) , 1G8 , 1GB .
• teorema, di Tychonoff , 0MP .
• teorema, di Zermelo , 23R .
• teorema, di approssimazione di Dirichlet , 0C1 .
• teorema, di convergenza monotona , 0G0 .
• teorema, di esistenza e unicità locale , 1QB .
• teorema, di funzione implicita , 1GD .
• teorema, di unicità del limite , 0MW .
• teoria, formale degli insiemi , 01J , 241 and following , — — — — — — — — — — — — — — — — — — — — — — — — — —
• teoria, informale degli insiemi , 01J .
• tipo d'ordine , 07V .
• topologia , 2DY , 0G6 .
• topologia, banale , see topologia indiscreta .
• topologia, d'ordine , 2F5 , 2F9 .
• topologia, discreta , 2F6 , 2FD , 2F9 , 2C1 , 0QF .
• topologia, in spazi metrici , 2C2 and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• topologia, indiscreta , 2F6 .
• topologia, indotta , 2BR , 2DK .
• topologia, prodotto , 0M3 , 0QM .
• topologia, prodotto (infinito) , 2F7 , 2F9 .
• topologico, spazio , 0G5 and following , 2DY , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• totale, convergenza , see convergenza totale .
• totale, derivata , see derivata totale .
• totale, relazione --- , 23X , 1Y6 .
• totalmente disconnesso , see spazio, totalmente disconnesso .
• totalmente limitato , 0V3 , 0VG , 2GB .
• transfinita, induzione --- , 1XY .
• transitiva, relazione , 23X , 224 , 24K .
• transitivo, insieme , 24Z .
• trascendente , 0C7 .
• triangolato , 1XW .
• tricotomica, relazione , 23X , 24K .
• uguaglianza , 1YS .
• uguaglianza, in teoria degli insiemi , 1Y8 .
• ultrametrica , 0WM .
• ultrametrica, delle successioni , 0X0 .
• ultrametrica, delle successioni, dimensione , 0ZP .
• uniforme , see convergenza, uniforme .
• unione di insiemi , 1Y2 , 026 .
• valutazione p-adica , 0XG , 0XM .
• valutazione, di formula ben formata , 00J , 00N .
• variabile, libera , 00Q .
• variabile, quantificata , 00Q .
• vuoto, see{insieme vuoto} , 242 .

Any language

• \(B(x,r)\) , 0NW .
• \( C^k\) , 2D0 .
• \(ℂ \) , 00B .
• \(C^k\) , 1GZ .
• \( C_b\) , 0ZM , 14D .
• \(\Delta \) , 23S .
• \(F_\sigma \) , see F-sigma .
• \( G_\delta \) , see G-delta .
• \(ℕ \) , 00B .
• \(ℕ _\text {ZF}\) , 26K .
• \(ℚ \) , 00B .
• \( ℝ /2\pi \) , 0Y4 .
• \(ℝ \) , 00B .
• \(T_2\) , see Hausdorff .
• \(ℤ \) , 00B .
• \(\Leftrightarrow \) , 00D .
• \( \Vert \cdot \Vert _\infty \) , in \( C_b\) , 0ZM , 14D .
• \( \Vert \cdot \Vert _\infty \) , in \( ℝ ^n\) , 2CK and following , 10C .
• \( \Vert \cdot \Vert _p\) , in \( ℝ ^n\) , 2CK and following , 10C .
• \(\approx \) , 1NX , 1P1 .
• \( \underline \bigcap \) , 252 , 0J1 .
• \(\bigcap \) , 1W1 .
• \( \underline \bigcup \) , 026 , 25Z , 0KS , 0KZ .
• \(\bigcup \) , 1Y2 .
• \(\cap \) , 1W1 .
• \(\cup \) , 1Y2 , 026 .
• \(⧺ \) , 21W .
• \(\lci \) , 2FG .
• \(\lfloor x \rfloor \) , see floor .
• \(\loi \) , 2FG .
• \(\lv \) , 2FG , 071 .
• \(\neg \) , 00D .
• \(\rci \) , 2FG .
• \(\roi \) , 2FG .
• \(\rv \) , 2FG , 071 .
• \(\sim \) , 1NW , 1P1 , 1PN .
• \(\sim _f\) , 1PN .
• \(\subset \) , 1W0 .
• \(\subseteq \) , 1W0 .
• \(\subsetneq \) , 1W0 .
• \(\vee \) , 2DM , 00D .
• \(\wedge \) , 2DM , 00D .
• \( \searrow \) , 1HS .
• sin(1/x) , 0RP .
• Abel , 1KJ , 1T3 .
• Arzelà , 1HQ , 1K4 .
• Ascoli , 1HQ , 1K4 .
• Baire , 0VV .
• Bessel , 1KM .
• Borel , 2CB , 0V3 .
• Cartan , 1M1 .
• Cauchy , 1QB .
• Cohen , 2F2 .
• Dedekind , 04G , 04M .
• Dini , 19S , 1HS .
• Edelstein , 0TH .
• F-sigma , 0QC , 2CX , 16N , 16Q , 16S .
• F-sigma, \( ℝ \setminus ℚ \) , 152 .
• Faà Di Bruno , 1DJ .
• Fraenkel , 01J , 241 .
• Frobenious , 11H .
• G-delta , 0QC .
• Gronwall , 1QB .
• Gödel , 2F2 .
• Hadamard , 1F1 .
• Hausdorff , 0G8 , 0J5 , 0J6 , 0J8 , 0P5 .
• Heine , 2CB , 0V3 .
• Hermite , 1F7 .
• Hilbert , 1P5 .
• Hoelder , 1J3 .
• Hospital , see Hôpital .
• Hurwitz , 1ZW .
• Hölder , 162 , 163 .
• Jacobi , 1G8 , 1V2 .
• Jordan , 2FW .
• Karush , 1HH .
• Koch , 0ZG .
• Kuhn , 1HH .
• Lagrange , 1H8 , 1HB .
• Laplace , 1V2 .
• Leibniz , 1DG .
• Lindelöf , 1QB .
• Lipschitz , 162 , 163 , 1QB .
• Mazur , 2CH .
• Mertens , 0FM .
• Minkowski , 0RC , 0YJ .
• Newton , 205 .
• ODE , 1QB and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• Peano , 1XB , 1P5 .
• Picard , 1QB .
• Raabe , 0DR .
• Ricci , 0MM .
• \(T_2\) , see Hausdorff .
• Tucker , 1HH .
• Tychonoff , 0MP .
• Ulam , 2CH .
• Von Neumann , 26D .
• ZF , 2DX , 2F2 , 04M .
• ZFC , 2DX , 2F2 , 04M .
• Zermelo , 01J , 241 , 23R .
• Zorn , 23R , 17J .
• \( \Vert \cdot \Vert _\infty \) , in \( ℝ ^n\) , — — — — — — — — — — —
• \( \Vert \cdot \Vert _p\) , in \( ℝ ^n\) , — — — — — — — — — — —
• arc , 1NV .
• ball packing , 0YS .
• box , 0Z7 .
• countable , 2DD .
• countably infinite , 2DD .
• floor , 0BS , 0BY , 0D6 .
• liminf , 29P , 02F .
• limsup , 29P .
• numerabile , 2DD .
• sin(1/x) , 0RP .
• sup , 08T .

English

• \(\overline A\) , see closure .
• \(\partial A\) , see boundary .
• \(A^c\) , see set, complement of .
• \(B(x,r)\) , see ball .
• \(C\) , see function, continuous .
• \(ℂ \) , see complex numbers .
• \(C^0\) , see function, continuous .
• \(D(x,r)\) , see disk .
• \(\Delta \) , see set, symmetric difference .
• \( 𝕀 \) , see identity matrix .
• \(ℕ \) , see natural numbers .
• \(ℚ \) , see rational numbers .
• \( \overline ℝ \) , see extended line .
• \(ℝ \) , see real numbers , see also real line .
• \( S^1\) , see circle .
• \(S(x,r)\) , see sphere .
• \(ℤ \) , see integer numbers .
• \(\Vert \cdot \Vert \) , see also norm .
• \(⧺ \) , see concatenation .
• \(\setminus \) , see set difference .
• \( \partial f\) , see subdifferential .
• = , see equality .
• \(e\) , see Euler's number .
• (partial) , 24W .
• Abel identity , 1T3 .
• Babylonian method , 0DN .
• Baire category , 0VZ , 152 .
• Baire's, theorem , 0VV .
• Banach , see also theorem, Hahn--Banach — .
• Banach, space , 0ZM , 118 , 144 , 14D .
• C , see function, continuous .
• CH, , see continuum hypothesis .
• Cantor, intersection theorem , 0BF , 0J6 , 0VP .
• Cantor, set , 2FB , 0XC , 0ZJ , 19Y , 0W4 .
• Cartesian product , 2FG , 242 , 024 , 02H , 1WY , 05T , 05X , 0M3 , 0M5 , 0QM .
• Cartesian product, and topology , 2F7 .
• Cartesian product, of balls , 0QM .
• Cartesian product, of groups , 0X8 .
• Cauchy, condensation test , 21D .
• Cauchy, product , 0FH , 1KQ .
• Cauchy, sequence , see sequence, Cauchy .
• Darboux property , 1C8 .
• Darboux, example , 1CP .
• Dedekind-infinite , 04G , 04M .
• Descartes, rule of signs , 1D7 .
• Dirichlet criterion , 21F .
• Dirichlet criterion, for integrals , 1TX .
• Dirichlet's approximation theorem , 0C1 .
• Euclidean division , 28J .
• Euler , 1M3 , 1M7 .
• Euler's number , 1M3 .
• Euler, identity , 1M7 .
• Euler-Mascheroni constant , 0D6 .
• Gamma function , 1BM .
• Hahn , see also theorem, Hahn--Banach — .
• Hamel basis , 02D , 057 .
• Hôpital rule , 1C5 .
• Hölder inequality , 10M .
• \( 𝕀 \) , see identity matrix .
• Jacobi, formula , 1MT , 1V2 , 1V4 .
• Jacobi, matrix , 1G8 , 1GQ .
• Jensen inequality , 1C3 .
• Lagrange multiplier , 10F , 10M , 1H8 , 1HB .
• Lagrange's theorem , 1C5 .
• Landau symbols , 1FB , 1FD , 1FF , 1FG , 1FJ .
• Laplace expansion , 1V2 .
• Leibniz's formula , 1DG .
• Leibniz, test , 0CN , 238 .
• Minkowski sum , 0BC , 0RC , 2CP , 11R .
• Minkowski, dimension , 0YJ .
• Napier , 1M3 .
• Napier's constant , see Euler's number .
• Osgood uniqueness condition , 1QR .
• Riemann , see also Riemann integral , see also Riemann integrable function .
• Riemann integral , 14T , 19K and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — 1FZ .
• S-saturated , 24X .
• Taylor , 1C5 .
• Taylor's theorem , 1C5 , 2D2 and following , — — — — — — 1FJ , — — — —
• Taylor's theorem, in \( ℝ ^n\) , 1G8 , 1GB .
• Taylor's theorem, with integral remainder , 1BR , 1FR .
• Taylor, series , 1C2 , 1KZ , 1NC .
• UC , see function, uniformly continuous .
• Young inequality , 10M , 194 , 1V7 .
• ZF , see formal set theory .
• \( \Gamma \) , see Gamma function .
• accumulation point , 0HJ , 0HT , 0QP , 2F3 , 138 , 13W , 13Y .
• accumulation point, in a topological space , 0GY .
• accumulation point, in metric spaces , 2C2 and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — 0QN , — — — — — — — — — 0S8 , 0SB .
• accumulation point, in the real line , 0BG , 0B3 , 0BH , 0SD , 1JS .
• adherent point , 0QP , 0QP .
• adherent point, in a topological space , 0GX .
• adherent point, in metric space , 0NX .
• adjugate matrix , 1V2 .
• algebraic number , 0C7 .
• alternating series test , see Leibniz test .
• analytic function , 1N4 and following , — — — — — — —
• anti-discrete topology , see indiscrete topology .
• antireflexiv, relation , 23X , 224 , 24K .
• antisymmetric, relation , 23X , 224 , 24K .
• archimedean , 1ZK .
• associative, addition , 27Q .
• atom , 1YS , 00G , 01J .
• axiom, first --- of countability , 0MC , 13Y .
• axiom, of choice , 23R , 02H , 02H , 2GF .
• axiom, of empty set , 014 .
• axiom, of extensionality , 1Y8 , 241 .
• axiom, of foundation , 01R , 25G .
• axiom, of infinity , 241 , 01Y , 243 .
• axiom, of pairing , 1Y3 .
• axiom, of power set , 1Y1 , 022 .
• axiom, of regularity , 241 , 01R , 25G .
• axiom, of replacement , 241 .
• axiom, of specification , 1Y0 .
• axiom, of union , 1Y2 , 026 .
• axiom, second --- of countability , 0MD , 0MH , 0Q5 , 0Q7 , 0T4 .
• axioms, Peano's --- , 1XB .
• axioms, Zermelo–Fraenkel , see formal set theory .
• axioms, Zermelo—Fraenkel , 01J .
• ball , 0NW , 0P1 , 0SM , 106 .
• ball, in ultrametric , 0WR .
• ball, inclusion , 0NZ .
• base, (induction) , 1XC .
• base, (topology) , 0HR , 2B5 and following , 0KK , — — — — — — — — — — — — — — 2F5 , — — 0QJ .
• base, (vector spaces) , see basis .
• basis, (induction) , 1XC .
• basis, (topology) , see base .
• basis, (vector spaces) , 02D , 057 .
• belonging , 1X2 .
• biconditional , 00D .
• big O , see Landau symbols .
• binomial , see also theorem, binomial .
• binomial, coefficient , 205 , 1FP .
• binomial, series , 1FP .
• boundary , 0G7 , 0H7 , 0HM , 174 .
• boundary, repeatedly , 0H9 .
• bounded above , 22R .
• bounded below , 22R .
• bounded, totally , 0V3 , 0VG , 2GB .
• cancellation , 27V , 28B , 28R .
• cardinality , 1YW and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• cardinality, comparison , 1YW .
• cardinality, continuum --- , 1YW , 0MZ .
• cardinality, countable , 1YW .
• cardinality, finite --- , 1YW , 1B1 .
• cardinality, of the continuum , 2F3 .
• cardinality, of the continuum , 03V .
• category , see also Baire's theorem , see also set, first/second — .
• category, Baire , 0VZ , 152 .
• chain , 01P .
• characteristic, function , 05R , 05S , 0BP , 2BP , 19Y .
• circle , 0Y3 , 0Y4 .
• closed , see set, closed — .
• closed curve , see curve, closed .
• closed simple curve , see curve, closed simple .
• closed topologist's sine curve , 0RP .
• closure , 0G7 , 0HM , 0KS , 0P8 , 0PP , 0PQ , 0Q8 , 176 , 178 , 0PN .
• closure, and interior , 0GJ , 0SG .
• closure, in metric space , 0NX .
• closure, repeated , 0GH .
• cluster point, in a metric space , 0QX , 0SN .
• codiscrete topology , see indiscrete topology .
• cofactor matrix , 1V2 .
• cofinal , 06P , 2B6 .
• commutative, group , 1ZF .
• commutative, ring— , 1ZG .
• compact set , 0J3 , 0J6 , 2CB , 0V3 , 0VP .
• compact set, and net , 0K8 .
• compact set, and ultrametric , 0X6 .
• compact, sequentially , 0V3 .
• comparable , 229 .
• complement, of a set , see set, complement of .
• complement, set , see set,complement .
• complete , 0X4 .
• complex numbers , 1ZD , 0FH , 19M , 1K9 , 1SN .
• concatenation , 21W .
• concrete topology , see indiscrete topology .
• conjunction , 00D .
• connected component , 0JT .
• connected set , 2BR .
• connection, in metric spaces , 2C5 and following , 0RR .
• constant, Euler-Mascheroni , 0D6 .
• continuity modulus , 156 , 15F , 161 , 163 , 1HR , 1J3 , 1JG .
• continuous function , 2B8 and following , 2B9 , 2DP and following , — — — — — — — — — — — — —
• continuum hypothesis , 2F2 , 2F3 .
• continuum, cardinality of the — , 03V , 2F3 .
• contrapositive , 00N .
• convergence, of a sequence , 0MT .
• convergence, of a series , 0CN and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — 0DW , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• convergence, pointwise --- , 0MP , 1HQ and following , 2DT , — — — — — — — — — — — — — — — — —
• convergence, total --- , 116 , 118 , 1T1 .
• convergence, uniform --- , 1HQ and following , 2DT , — — — — — — — — — — — — — — — — —
• convex combination , 16W .
• convex envelope , 130 , 2G4 .
• convex function , 0ZX , 16V and following , — — — — — — — — — — — — — — — — — — — — — — — — — 17Y , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — 1J3 .
• convex hull , see convex envelope .
• convex set , 2F0 and following , — — 16X , —
• convex set, strictly --- , 19D .
• countable , 04J .
• counterimage , 091 .
• criterion, total convergence --- , 118 .
• curve , 1NT and following , — 1NV , — — — — — — — — — — — — — — — — — — — —
• curve, Hilbert — , 1P5 .
• curve, Koch , 0ZG .
• curve, Peano — , 1P5 .
• curve, closed , 1PB .
• curve, embedded , 1NV , 1P0 .
• curve, immersed --- , 1NV .
• curve, parametric — , 1NV , 1PB .
• curve, polygonal — , 2G6 , 2FN .
• curve, simple , 1NV .
• curve, simple closed , 2FW , 2G6 , 1PB .
• curve, trace , 1NV .
• decreasing , 2DJ .
• deleted neighborhood , 0B2 , 0BG , 20D .
• deleted neighborhood, in a topological space , 0GY .
• dense , see set, dense .
• dense, in metric space , 0NX .
• derivative , 0HM .
• derivative, partial --- , 2D3 and following , — — — — — — —
• derivative, total --- , 2D3 and following , — — — — — — —
• determinant , see matrix, determinant .
• diffeomorphism , 1NX .
• differential , 2D3 and following , — — — — — — —
• differential equation , see ODE .
• dilation , 124 .
• dimension, Minkowski , 0YJ .
• dimension, box --- , 0Z7 .
• directed set , see order, directed , 2B2 .
• disconnected set , 2BR .
• discrete topology , 2F6 , 2FD , 2F9 , 0QF .
• discrete, distance , 2C1 .
• discrete, topology , 2C1 .
• disjunction , 00D .
• disk , 0NW , 0P1 , 0PY , 0Q0 , 0SM , 0VD , 106 .
• disk, in ultrametric , 0WR .
• distance , 0MS .
• distance function , 2C4 and following , 0R8 .
• distance function, and convex sets , 198 , 19B .
• distance, discrete --- , 2C1 .
• distance, p-adic --- , 0XF .
• \(e\) , see Euler's number .
• ear , 0JN .
• embedded curve , see curve, embedded --- .
• empty set , 242 , 014 .
• enumeration , 2DF , 1T9 .
• epigraph , 13D , 181 .
• equality , 1YS .
• equality, in set theory , 1Y8 .
• equations, Bessel's --- , 1KM .
• equicontinuous family , 1HR , 1JG .
• equicontinuous functions , 1J3 .
• equinumerous , 22B .
• equipotent , 22B .
• equivalence relation , see relation, equivalence .
• equivalent, norms , 107 , 109 .
• erosion , 124 .
• evaluation, of well-formed formula , 00J , 00N .
• eventually , 02M , 06Y , 064 , 018 , 0B3 , 20D , 20G , 20N , 0DJ , 02F , 21B , 21C , 0DR , 2B6 .
• exchanging limits , 0CX .
• expansion, Taylor's --- , see Taylor's theorem .
• exponential , 1M3 , 1SD .
• exponential, matrix --- , 1MF .
• exponentiation , 228 .
• exponentiation, in a field , 202 .
• exponentiation, of natural numbers , 280 .
• extended line , 09X , 0HP .
• fattened set , 0RC .
• field , 1ZH .
• field, ordered — , 1ZX .
• field, ordered —, \(ℂ \) , 08V .
• filtering property , see order, with filtering property .
• finite , see set, finite .
• finite linear combination , 02D .
• first axiom of countability , 0MC , 13Y .
• first category set , 0VW .
• fixed point , 16J , 16K .
• formal set theory , 01J , 241 and following , — — — — — — — — — — — — — — — — — — — — — — — — — —
• formula, Leibniz's --- , see Leibniz's formula .
• formula, Taylor's --- , see Taylor's theorem .
• formula, atomic , 00G .
• formula, exists and is unique , 013 .
• formula, well-formed — , 1YS , 1YS , 00G , 1YK , 00K , 00R , 013 , 252 , 05Z .
• formula, well-formed —, evaluation , 00J , 00N .
• formula, well-formed —, in set theory , 01J .
• formula, well-formed —, with quantifiers , 00Q , 00V .
• fractional part , 0BT .
• free variable , 00Q .
• frequently , 06Y , 064 , 018 , 0B3 .
• function , 1Y6 .
• function, Gamma , 1BM .
• function, Hölder --- , 2DR and following , 162 , — — 163 , — — — — — — — 16F , — — — 1GX , 1J3 .
• function, Lipschitz --- , 0NH , 0R9 , 0Y0 , 156 , 2DR and following , 162 , — — 163 , — — — — — — — 16F , — — — 17W , 18J , 1GX , 1GZ .
• function, Riemann integrable --- , 14T , 19K and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — 1J3 .
• function, absolutely homogeneous , 0ZV .
• function, analytic , see analytic function .
• function, bi--Lipschitz , 0Y0 .
• function, bounded --- , 142 , 1J3 .
• function, characteristic , 05R , 05S , 0BP , 2BP , 19Y .
• function, continuous , see continuous function .
• function, continuous --- , 2DN .
• function, convex , see convex function .
• function, discontinuous , 152 .
• function, indicator , see characteristic function .
• function, left inverse , 2BZ .
• function, liminf of — , see liminf .
• function, limsup of — , see limsup .
• function, monotonic , 1J3 .
• function, monotonic --- , 147 .
• function, partial , 23X , 01P .
• function, piecewise constant --- , 144 .
• function, piecewise smooth --- , 1QK .
• function, positively homogeneous , 0ZW , 0ZX .
• function, proper --- , 0T3 .
• function, regulated , see regulated function .
• function, right continuous --- , 147 .
• function, semi continuous , see upper/lower semicontinuous .
• function, strictly convex , see strictly convex function .
• function, uniformly continuous --- , 2DQ and following , — 155 , — — — — 15F , — — — — — — — — 163 , 16F , 1J3 , 1JN , 1JQ .
• function, uniformly continuous, space of --- , 1JX .
• functional, relation , 23X , 1Y6 .
• functions, equicontinuous , 1J3 .
• fundamental system of neighbourhoods , 0GW , 0MM , 2BP .
• funzione distanza , 0R9 .
• generate , 02D , 057 .
• graph , 1Y6 .
• greatest common divisor , 1WH .
• greatest element , 229 .
• greatest lower bound , see infimum .
• group , 1ZF .
• homeomorphism , 0J8 , 2B9 , 09T , 2F3 , 0V8 , 21N , 1NW , 1P0 , 1PH , 1PN .
• hyperplane , 17J .
• identity matrix , 1MG .
• image , 092 .
• immersed curve , see curve, immersed .
• implication , 00D .
• incomparable , 229 .
• increasing , 2DJ .
• indicator , see characteristic function .
• indiscrete topology , 2F6 .
• induced norm , 2CM .
• induction , 1XC .
• induction principle , 23B , 1XC .
• induction principle, strong -- , 1XS .
• induction, strong , 1XS .
• induction, transfinite --- , 1XY .
• inductive , see S-saturated .
• inequality, Jensen — , 1C3 .
• inequality, Young — , see Young inequality .
• inequality, triangle --- , 0MS , see triangle inequality .
• inf , see infimum .
• inf-convolution , 13P .
• infimum , 22R , 209 , 20B .
• infinite , see set, infinite .
• infinite, countably --- , 2DD .
• informal set theory , 01J .
• initial segment , 07T .
• injective , 23X .
• integer numbers , 03M .
• integer numbers, dense in ultrametric , 0XW .
• integer part , see floor , 0BY , 0D6 .
• integral domain , 203 .
• interior , 0G7 , 0GF , 0GH , 0HM , 0KS , 0P3 , 0PB , 0PD , 0PG , 0PJ , 0PM , 0Q8 , 172 , 174 , 176 , 178 .
• interior, and closure , 0GJ , 0SG .
• interior, in metric space , 0NX .
• interpolation, polynomial --- , 09J , 1F7 .
• intersection theorem , see Cantor, intersection theorem .
• interval , 2DW and following , 07C , — — — — — — — —
• interval, standard — , 07D .
• irrational numbers , 0C1 , 0VZ , 152 , 19Y .
• irrational numbers, approximation , 29Q .
• irreflexiv, relation , 23X , 224 , 24K .
• isolated point , 0HD , 0HJ , 2F3 , 0T5 , 1TZ .
• isolated point, in a topological space , 0GX .
• isometry , 0TM , 0TT , 0TW , 0TZ .
• itersection of sets , 1W1 .
• l.s.c. , see lower semicontinuous .
• labeled polygon , 2CD .
• least element , 229 .
• least upper bound , see supremum , 08T .
• left inverse , 2BZ , 2BX .
• lemma, Abel's — , 1KJ .
• lemma, Dini's --- , 1HS .
• lemma, Gronwall's — , 1QB .
• lemma, Hadamard's — , 1F1 .
• lemma, Zorn's — , 23R , 17J .
• lexicographic order , see order, lexicographic .
• liminf, of function , 29P and following , — 20F , — — 0BK , — — — — — — — —
• liminf, of sequence , 0BQ .
• liminf, of sets , 1Z2 , 063 , 064 , 065 , 0BP .
• limit inferior , see liminf .
• limit point, of a net in a topological space , 2B4 .
• limit superior , see limsup .
• limsup, of function , 29P and following , — 20F , — — 0BK , — — — — — — — —
• limsup, of sequence , 0BQ .
• limsup, of sets , 1Z2 , 063 , 064 , 065 , 0BP .
• line , see also real line .
• line, extended , see extended line .
• linear isometry , 111 .
• linear, order , see order, total .
• linearly independent , 02D , 057 .
• locally compact , 0VD .
• logarithm , 21N .
• lower bounds , 22R .
• lower semicontinuous , 2CV and following , 138 , — — — — — — — — — — — — —
• majorants , 22R .
• matrix, adjugate --- , 1V2 .
• matrix, cofactor --- , 1V2 .
• matrix, determinant , 1V0 , 1V2 , 1V4 .
• matrix, exponential , 1MF .
• matrix, identity --- , 1MG .
• maximal , 229 , 06V .
• maximum , 229 , 06V , 0HT .
• mean value theorem , see Lagrange's theorem .
• metric space , 0MR and following , 2CC , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — 13P .
• metric space, also a group , 0R5 .
• minimal , 229 , 1XP .
• minimum , 229 .
• minimum, on convex set , 18B .
• minorants , 22R .
• monotonic , 2DJ .
• natural numbers , 1X9 and following .
• natural numbers, order , 26Y .
• negation , 00D .
• neighborhood, deleted , 0B2 , 0BG , 20D .
• neighborhood, deleted, in a topological space , 0GY .
• neighborhood, of infinity , 231 .
• neighborhood, punctured , 0B2 .
• neighbourhood , 0GW .
• neighbourhood, fundamental system of — , 0GW , 0MM , 2BP .
• neighbourhood, in \( ℝ \) , 0B2 .
• net , 21J , 230 , 22Y , 0K4 , 0KD , 0KG , 2BP .
• net, and compact set , 0K8 .
• network , 0FS .
• norm , 0ZV .
• norm, Frobenious , 11H .
• norm, and dimension , 0Z1 .
• norm, spectral , 11G .
• normed vector space , 0ZT and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• normed vector space, strictly convex --- , 0ZZ .
• norms, equivalent , 107 , 109 .
• numbers , see also natural numbers , see also integer numbers , see also rational numbers , see also real numbers , see also complex numbers .
• numero di Nepero , see Euler's number .
• one-point compactified line , 0HR .
• open, see{set, open —} , 0G6 .
• open-close , 0Q8 .
• order , 1YY and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• order isomorphism , 07V .
• order relation , 1Y5 .
• order topology , 2F5 , 2F9 .
• order, (partial) , 24W .
• order, directed , 2FJ and following , — 06N , — — — — — — — — — — — — — — — 237 , 0HS , 0HT , 0HW , 0K5 .
• order, directed, of sets , 0GQ , 0KG .
• order, lexicographic , 2FH and following , — 071 , — — — — — 2F9 .
• order, of natural numbers , 26Y .
• order, partial , 1Y5 .
• order, strict total --- , 24K .
• order, total , 1Y5 , 24W , 24K , 2F5 , 2F9 .
• order, type , 07V .
• order, with filtering property , 2FJ and following , — 06M , — — 06P , — — 06Q , — — — — — — — — — — — 237 , 2B6 .
• order, with filtering property, and net , 21J .
• order-isomorphic , 07V .
• ordered field , 1ZX .
• ordered field, \(ℂ \) , 08V .
• ordered ring , 1ZJ , 1ZT , 1ZV .
• ordered set , see order .
• ordinal , 26D .
• ordinary differential equation , see ODE .
• oscillation , 13T , 143 .
• osculating circle , 1TJ , 1TJ .
• p-adic, distance , 0XF .
• p-adic, valuation , 0XG , 0XM .
• parametric curve , see curve, parametric --- .
• partial function , 23X , 01P .
• partial order , see order, partial , 224 .
• partial, derivative , see derivative, partial .
• path connected set , 0RG .
• perfect , 09S , 2F3 , 0W3 .
• pointwise , see convergence, pointwise .
• polygon , 2FN , 10Y .
• polygon, ear , 0JN .
• polygonal curve , 2G6 , 2FN .
• polynomial , 09J , 03H , 29Q and following , — — — — — — — — — 0C7 , — — — — — — — — — 19M , 1F7 , 23Z , 1SC , 1SD , 1SF , 1SH , 1SK , 1SN , 1SP .
• polynomial interpolation , 09J , 1F7 .
• polynomial, Taylor's --- , see Taylor's theorem .
• polynomial, convergence of --- , 1J3 .
• polynomial, ring --- , 0C8 .
• polynomial, sequence of --- , 1J3 .
• power , see also exponentiation .
• power series , 1K6 and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• power set , 242 , 1Y1 .
• predecessor , 25C , 1Z1 , 1YP .
• preorder , 02M , 1Z7 .
• product topology , 0M3 , 0QM .
• product topology (of infinitely many spaces) , 2F7 , 2F9 .
• product, Cartesian — , see Cartesian product .
• projection, theorem , 17D .
• proper, function , 0T3 .
• property, cancellation , see cancellation .
• proposition (logic) , 1YS .
• punctured neighborhood , 0B2 .
• quantified variable , 00Q .
• radius of curvature , 1TJ .
• ratio test , 21C .
• rational numbers , 03M , 1ZD , 200 , 29Q , 0C1 , 19Y , 1T9 .
• rational numbers, and ultrametric , 0XF , 0XM , 0XY , 0Y0 .
• real line , see also real numbers .
• real line, one-point compactified --- , 0HR .
• real number, approximation of — , 29Q .
• real numbers , 1ZD , 09X and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — see also real line .
• recursive , 0CN .
• recursive, definition , 08Z .
• reflexiv, relation , 23X .
• regular curve , see curve, immersed .
• regulated function , 2CT and following , 141 , 142 , 143 , 144 , 1B3 , 1B4 , 1B6 , 1B9 , 1J3 .
• relation , 1WY .
• relation, antireflexiv , 224 .
• relation, antisymmetric , 224 .
• relation, equivalence --- , 1W5 , 093 , 0MX , 0MZ , 0R2 , 0YD .
• relation, equivalence ---, between curves , 1NW , 1NX , 1PN .
• relation, equivalence ---, for \( S^1\) , 0Y4 .
• relation, equivalence ---, in group , 0R5 .
• relation, irreflexiv , 224 .
• relation, order — , see order .
• relation, transitive , 224 .
• right inverse , 2BX .
• rigidity property , 1JG .
• ring , 1ZG .
• ring, of polynomials , 0C8 .
• ring, ordered — , 1ZJ , 1ZT , 1ZV .
• root test , 219 .
• rule of signs , 1D7 .
• second axiom of countability , 0MD , 0MH , 0Q5 , 0Q7 , 0T4 .
• second category set , 0VW .
• semicontinuous, lower , see lower semicontinuous .
• semicontinuous, upper , see upper semicontinuous .
• separable space , 0MH , 0Q7 .
• separation , 17H , 17J , 17T .
• sequence , 16G .
• sequence, Cauchy — , 0MT , 0MV , 0N5 , 0N6 , 0N8 , 0NC , 0VD .
• sequence, Cauchy —, and subsequence , 0N8 , 0NC .
• sequence, convergence of --- , see convergence of a sequence .
• sequence, recursive , 08Z , 0CN .
• sequentially compact , 0V3 .
• series, binomial — , 1FP .
• set theory , see also axioms ... .
• set theory, formal , 01J .
• set theory, informal , 01J .
• set, Cantor -- , see Cantor set .
• set, Dedekind—infinite , 04G , 04M .
• set, boundary , see boundary , 0H7 .
• set, closed —, in metric space , 0NX .
• set, closed —, in topology , 0G6 .
• set, closure , see closure .
• set, complement of a --- , 23S , 05R , 063 , 0G5 , 0H7 , 0P6 .
• set, countable --- , 04J .
• set, dense , 0G7 .
• set, derived --- , 0GY , 2C2 , 0QV , 0SD , 0T5 .
• set, difference , 23S .
• set, empty — , 242 , 014 .
• set, fattened --- , 0RC .
• set, finite --- , 1B1 .
• set, first category --- , 0VW .
• set, infinite --- , 1B1 .
• set, infinite, Dedekind --- , 04G , 04M .
• set, interior , see interior .
• set, of finite subsets , 03R , 053 , 0F5 , 0FW .
• set, open —, in metric space , 0NX .
• set, open —, in topology , 0G6 .
• set, path connected , 0RG .
• set, perfect --- , 09S , 2F3 , 0W3 .
• set, power -- , see power set .
• set, power — , 242 .
• set, second category --- , 0VW .
• set, strongly directed , see order, with filtering property .
• set, sublevel --- , 182 .
• set, symmetric difference , 23S .
• set, symmetric difference, using characteristics , 05S .
• simple closed curve , see curve, closed simple .
• simple curve , see curve, simple --- .
• simplex , 16Z .
• sine curve , 0RP .
• small o , see Landau symbols .
• snowflake , see Koch curve .
• space, Hausdorff --- , see Hausdorff .
• space, of uniformly continuous functions , 1JX .
• space, separable , 0MH .
• space, topological , 0G5 and following , 2DY , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• space, totally disconnected --- , 0K0 , 0QF , 0WW .
• span , 02D , 057 .
• sphere , 0PY , 0Q0 , 0SM , 106 , 114 , 1P7 , 1PX .
• star , see Koch curve .
• strict partial order , 224 .
• strict total order , 24K .
• strictly convex function , 17Y .
• strictly convex, normed vector space , 0ZZ .
• strong induction , 1XS .
• strongly directed set , see order, with filtering property .
• subadditive function , 0N1 , 15W , 192 .
• subadditive function and ultrametric , 0WY .
• subdifferential , 188 , 19B .
• sublevel set , 182 .
• subnet , 230 , 22Y .
• subscript , 228 .
• subsequence , 0D2 , 0D4 , 230 .
• subsequence, converging , 0MP , 0V3 .
• successor, in Peano's natural numbers , 1XB .
• successor, in Zermelo—Fraenkel set theory , 24X , 1YM , 26F .
• successor, in well ordered sets , 1Z0 .
• sum, Minkowski --- , 0RC .
• sup , see supremum .
• superscript , 228 .
• support , 17T .
• support, of a curve , 1NV .
• supporting hyperplane , 17J .
• supremum , 22R , 08T .
• surjective , 23X .
• symmetric, relation , 23X .
• tautology , 00N , 016 , 05Z .
• tessellation , 0Z7 .
• test, Cauchy condensation --- , 21D .
• test, Leibniz — , 0CN , 238 .
• test, alternating series — , see Leibniz test .
• test, ratio --- , 21C .
• test, root --- , 219 .
• theorem, Ascoli--Arzelà's --- , 1HQ , 1K4 .
• theorem, Baire's — , 0VV .
• theorem, Cauchy–Lipschitz — , 1QB .
• theorem, Dirichlet's approximation , 0C1 .
• theorem, Edelstein’s --- , 0TH .
• theorem, Hahn--Banach — , 17J .
• theorem, Hurwitz's --- , 1ZW .
• theorem, Hôpital , see Hôpital rule .
• theorem, Jordan — , 2FW .
• theorem, Lagrange's --- , see Lagrange's theorem .
• theorem, Mazur–Ulam , 2CH , 114 .
• theorem, Mertens' --- , 0FM .
• theorem, Monotone convergence --- , 0G0 .
• theorem, Picard–Lindelöf — , 1QB .
• theorem, Taylor's --- , see Taylor's theorem .
• theorem, Taylor's ---, with Lagrange remainder , see Lagrange remainder .
• theorem, Tychonoff — , 0MP .
• theorem, Zermelo , 23R .
• theorem, binomial --- , 205 .
• theorem, dimension --- , 057 .
• theorem, existence and uniqueness — , 1QB .
• theorem, implicit function --- , 1GD .
• theorem, intersection --- , see Cantor, intersection theorem .
• theorem, mean value --- , see Lagrange's theorem .
• theorem, of uniqueness of the limit , 0MW .
• theorem, projection --- , 17D .
• theorem, two ears — , 0JN .
• topological group , 0X8 .
• topological space , 0G5 and following , 2DY , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• topology , 2DY , 0G6 .
• topology, discrete , 2F6 , 2FD , 2F9 , 0QF .
• topology, discrete --- , 2C1 .
• topology, in metric spaces , 2C2 and following , — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
• topology, indiscrete , 2F6 .
• topology, induced — , 2BR , 2DK .
• topology, order — , 2F5 , 2F9 .
• topology, product — , 0M3 , 0QM .
• topology, product — (of infinitely many spaces) , 2F7 , 2F9 .
• total convergence , see convergence, total .
• total convergence criterion , 118 .
• total order , see order, total .
• total, derivative , see derivative, total .
• total, relation , 23X , 1Y6 .
• totally bounded , 0V3 , 0VG , 2GB .
• totally disconnected , see space, totally disconnected .
• trace, of a curve , 1NV .
• transcendental number , 0C7 .
• transfinite, induction , 1XY .
• transitive, relation , 23X , 224 , 24K .
• transitive, set , 24Z .
• triangle inequality , 0B0 , 0MS , 0WN , 0ZV , 0ZX .
• triangulated , 1XW .
• trichotomous, relation , 23X , 24K .
• trivial topology , see indiscrete topology .
• u.s.c. , see lower semicontinuous .
• ultrametric , 0WM .
• ultrametric, of sequences , 0X0 .
• ultrametric, of sequences, dimension , 0ZP .
• uniform , see convergence, uniform .
• union of sets , 1Y2 , 026 .
• unlabeled polygon , 2CD .
• upper bounds , 22R .
• upper semicontinuous , 2CV and following , 138 , — — — — — — — — — — — — —
• valuation, p-adic --- , 0XG , 0XM .
• variable, free , 00Q .
• variable, quantified , 00Q .
• vector space , 0MM , 1SN .
• vector space, normed --- , see normed ... .
• well-formed formula , see formula, well-formed .