|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Correction to 'measurable space'
|
Measurable sets by mathcam
Correction id: 4115
Filed on: 2004-03-31 12:18:15
Status: Rejected on 2004-05-03 00:05:39
Type: Meta/Minor
Correction text:
Archibal has noted that your entry measurable space and my entry measurable set are so close that they are wroth merging. I'm happy to let you incorporate everything my entry into yours, and then deleting mine, or vice versa. It's up to you.
If you choose to enlargen your entry, it was also recommended that the entry define non-measurable set as well.
Thanks,
Cam
|
Comment from object owner djao:
Rejected because (as mentioned in private mail, and quoted below) the proposed merger would result in circular dependencies among entries.
The entry "measurable space" is needed for the definition of "measure space". The entry "measure space" is needed for your definition of "measurable set". If we were to merge "measurable space" and "measurable set" into one entry (call it entry X), then we would be in a situation where the entries "measure space" and entry X both logically depend on each other. I think such a situation should be avoided -- we should avoid loop dependencies when possible.
I would be far more supportive of the idea of merging "measurable set" in with "measure space" instead, if we decide that some pair of entries must be merged. |
|
|
|
|
|
|
|
|
|
|
