Box topology

From Maths
Jump to: navigation, search
Stub grade: B
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Not that important because we have the product topology page, however it should be a slightly bigger stub page!

Definition

Let ((Xα,Jα))αI be an arbitrary family of topological spaces. The box topology is the topology generated by the following basis[1]:

  • B:={αIUα | (Uα)αIαIJα} - the basis consisting of all Cartesian products of all open sets from ((Xα,Jα))αI[Note 1]

TODO: Check this expression


Notes

  1. Jump up Badly phrased, it should mean all tuples of the form (Uα)αI where αI[UαJα]

References

  1. Jump up Introduction to Topological Manifolds - John M. Lee