Viewing profile — pointedset

I think your quote from Gallian doesn't address syzarian's example, actually. The two properties you quoted are about the fact the distributivity works whether you're multiplying o…

Note that for this property, you want edges to be reasonably close, but you also need to say that vertices are reasonably far apart: otherwise you could always get a "less tangled"…

Yes, if "untangled" means "no edge crossings", then 3 dimensions is enough for any graph to be untangled. As a proof, you can put the vertices at coordinates (0, 0, 0), (1, 1, 1), …

Unfortunately, constructive vs classical (vs linear, etc.) applies to proofs, but this is really about definitions. Proofs can be correct or incorrect pretty straightforwardly, but…

Now you're reminding me of a wacky math conversation I had at Mathcamp [1] with a much smarter guy, who was talking about more esoteric definitions of volume in euclidean space. So…

Yes, those two facts about zero/empty cases (and so many more) are definitely related, and this class of facts is one of my favourites! Usually, if you're dealing with something al…