Definition talk:Between (Geometry)

From ProofWiki
Jump to navigation Jump to search

I'll work on your suggestions. I actually thought the grouping was messy, but that's how it is in Givant. What I usually do in my personal notes is define $\Delta_x = x_1 - x_2$ or something to that effect, do you think that would work here? And I can do an analytic proof that the def'n in $\R^2$ makes sense, but I'll need some time. --GFauxPas 10:04, 12 February 2012 (EST)

Just because that's how its done in a published work does not mean we can't improve on it. Your suggestion works for me. --prime mover 10:09, 12 February 2012 (EST)
k --GFauxPas 11:03, 12 February 2012 (EST)
I'm not sure that the explanation of betweenness in $\R^2$ deserves a page, as it's a justification of a definition, not a proof, no? --GFauxPas 18:35, 12 February 2012 (EST)
A justification for a definition is a proof. --prime mover 01:10, 13 February 2012 (EST)