Definition:Cartesian Product/Cartesian Space/Family of Sets/Definition 2
Jump to navigation
Jump to search
Definition
Let $I$ be an indexing set.
Let $\family {S_i}_{i \mathop \in I}$ be an family of sets indexed by $I$.
Let $\ds \prod_{i \mathop \in I} S_i$ be the Cartesian product of $\family {S_i}_{i \mathop \in I}$.
Let $S$ be a set such that:
- $\forall i \in I: S_i = S$
The Cartesian space of $S$ indexed by $I$ is defined and denoted as:
- $\ds S^I := \set {f: \paren {f: I \to S} \land \paren {\forall i \in I: \paren {\map f i \in S} } }$
Also see
This follows from Set Union is Idempotent:
- $\ds \bigcup_{i \mathop \in I} S = S$
Sources
- 1975: Bert Mendelson: Introduction to Topology (3rd ed.) ... (previous) ... (next): Chapter $1$: Theory of Sets: $\S 10$: Arbitrary Products: Exercise $1$
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.6$: Functions