Ciao Bad90
Poiché nella tesi di laurea che sto scrivendo ho incontrato in lungo ed in largo questi concetti, in particolar modo gli spazi metrici, ti posso confermare che nel primo caso la $\bigcup_{i \in A_i}$ denota un'unione di più insiemi (nella fattispecie gli $A_i$). Non ci metto la mano sul fuoco perché in realtà esistono diverse notazioni ma dovrebbe trattarsi di unione finitaria, ossia (come lo dice la parola stessa del resto) di un numero finito di insiemi. Quando si scrive semplicemente $\bigcup$ di solito invece si indica l'unione arbitraria di insiemi (che può anche essere infinita ma non necessariamente).
Riguardo al tuo secondo quesito $d(x, y)$, come correttamente affermato da axpgn, indica la distanza definita su uno spazio metrico (detta talvolta semplicemente
metrica) e tre delle proprietà che deve soddisfare per essere tale sono proprio quelle elencate che, nell'ordine in cui sono riportate, corrispondono rispettivamente ad identità, simmetria e disuguaglianza triangolare. Nella tua immagine non è presente anche la quarta proprietà di cui deve godere la distanza metrica, ossia la positività (te la riporto lo stesso, non so se magari è solo l'immagine ad essere tagliata): $d(x, y) \geq 0 \forall x, y \in X$.
Una nota relativamente alla terza proprietà. Se la disuguaglianza triangolare è soddisfatta nella sua forma forte, ossia $d(x, y) \leq \max \{d(x, z), d(z, y)\} \forall x, y, z, \in X$ allora la distanza di dice
ultrametrica e lo spazio di conseguenza è chiamato ultrametrico.
Spero di esserti stato d'aiuto, in caso chiedi pure.