So, pure mathematicians have a standard way of describing this sort of thing which takes awhile to get used to but which is actually very elegant and generalizes very cleanly: instead of thinking in terms of the sets Xi, think in terms of the set X=⊔i∈IXi and the function f:X→I sending an element of X to the index of the Xi of which it’s a member. Then a family (of points in the Xi) is a section of f; that is, it’s a function g:I→X such that f∘g=idI.
The real elegance comes from generalizing I and X; for example, they could be topological spaces and you could ask for f and g to be continuous, in which case you’ve described a very general notion of continuous family of points in a continuous family of topological spaces. More on this theme here (not particularly written for accessibility, unfortunately).
Uhh… I am a pure mathematician (not that I disagree with anything you wrote but just thought I should clarify). Anyway, the paradigm you mentioned is interesting but I got the impression the book was taking more of an “everything must be defined explicitly in terms of set theory” point of view, and from that point of view I think you want to use ⋃i∈IXi rather than ∐i∈IXi, since the former actually contains the sets Xi whereas the latter only contains copies of them (of the form {i}×Xi in the standard construction). Otherwise you get that g(i) is not an element of Xi, but rather of a copy of Xi. Of course this is a nitpicking technical point, but then again it’s always seemed to me that the “everything must be defined explicitly in terms of set theory” point of view consists of a lot of nitpicking technical points…
Well, the problem with the union is that if the sets Xi aren’t disjoint then the function f I want above isn’t well-defined. Anyway, as a category theorist at heart I only care about what constructions look like up to natural isomorphism.
Yeah, I should have made more clear, I am aware of that, basically what I was trying to say is I think your paradigm might be inconsistent with what the book is trying to do (not that what the book is trying to do necessarily makes sense). Anyway like I said earlier it is an interesting paradigm, I’d actually never seen it before. By the way regarding the “continuous family of topological spaces” (by which I guess you mean the map sending a point to its fiber under a continuous map), is there a topology on the space of topological spaces such that the family is actually continuous?
So, pure mathematicians have a standard way of describing this sort of thing which takes awhile to get used to but which is actually very elegant and generalizes very cleanly: instead of thinking in terms of the sets Xi, think in terms of the set X=⊔i∈IXi and the function f:X→I sending an element of X to the index of the Xi of which it’s a member. Then a family (of points in the Xi) is a section of f; that is, it’s a function g:I→X such that f∘g=idI.
The real elegance comes from generalizing I and X; for example, they could be topological spaces and you could ask for f and g to be continuous, in which case you’ve described a very general notion of continuous family of points in a continuous family of topological spaces. More on this theme here (not particularly written for accessibility, unfortunately).
Uhh… I am a pure mathematician (not that I disagree with anything you wrote but just thought I should clarify). Anyway, the paradigm you mentioned is interesting but I got the impression the book was taking more of an “everything must be defined explicitly in terms of set theory” point of view, and from that point of view I think you want to use ⋃i∈IXi rather than ∐i∈IXi, since the former actually contains the sets Xi whereas the latter only contains copies of them (of the form {i}×Xi in the standard construction). Otherwise you get that g(i) is not an element of Xi, but rather of a copy of Xi. Of course this is a nitpicking technical point, but then again it’s always seemed to me that the “everything must be defined explicitly in terms of set theory” point of view consists of a lot of nitpicking technical points…
Well, the problem with the union is that if the sets Xi aren’t disjoint then the function f I want above isn’t well-defined. Anyway, as a category theorist at heart I only care about what constructions look like up to natural isomorphism.
Yeah, I should have made more clear, I am aware of that, basically what I was trying to say is I think your paradigm might be inconsistent with what the book is trying to do (not that what the book is trying to do necessarily makes sense). Anyway like I said earlier it is an interesting paradigm, I’d actually never seen it before. By the way regarding the “continuous family of topological spaces” (by which I guess you mean the map sending a point to its fiber under a continuous map), is there a topology on the space of topological spaces such that the family is actually continuous?