Indexverzameling

In de wiskunde kunnen de elementen van een verzameling $A$ met behulp van een verzameling $J$ worden geïndexeerd, die om die reden een indexverzameling wordt genoemd. Indexeren en labelen zijn in deze context synoniem. Het indexeren bestaat uit het aangeven van een surjectie van $J$ op $A$. De geïndexeerde verzameling wordt typisch een geïndexeerde familie genoemd, wat vaak wordt genoteerd als $(A_j{)}_{j\in J}$.

Er wordt verschil gemaakt tussen nummeren en indexeren, omdat ook overaftelbare verzamelingen kunnen worden geïndexeerd.

Voorbeelden

• Iedere oneindig aftelbare verzameling kan door $\mathbb{N}$ worden geïndexeerd.
• Een rij is een geïndexeerde verzameling, waarbij de indexverzameling een deelverzameling van de gehele getallen $\mathbb{Z}$ is.
• Voor $r\in ℝ$ is de indicatorfunctie op $r$ de functie ${\mathrm{𝟏}}_r:ℝ\to ℝ$ gegeven door

${\mathrm{𝟏}}_r(x)=\{\begin{array}{cc}0,& \text{als }x\ne r\\ 1,& \text{als }x=r\end{array}$

De verzameling van alle functies ${\mathrm{𝟏}}_r$ is een overaftelbare verzameling geïndexeerd door $ℝ$.

Programmeertalen

Indexverzamelingen worden in programmeertalen gebruikt om variabelen van het type array mee te declareren of om bepaalde elementen uit een array mee te selecteren. Elementen met behulp van indexverzamelingen uit een array selecteren kan in MATLAB.

Sjabloon:Appendix