Definition talk:Absolute Value

I don't think the stuff on ordered integral domains is consistent with the $p$-adic numbers (or most non-Archimedean values) -- this kind of stuff operates as valuations in valuation rings --Linus44 16:31, 20 March 2011 (CDT)


 * Fair comment, I moved it about.


 * Ultimately what I'm trying to get to is where everything about orderings which are taken as "axiomatic" in standard works on analysis (at the start of the book there's usually something which says: "We take as axiomatic these facts about the real numbers ...") are derived from more basic properties derived from the most skeletal structures of all - and as far back as I've managed to get so far is the "ordered integral domain" where the "ordering" is derived from that most basic of concepts the "positivity property". So there's going to be a certain amount of restructuring needed on the analysis pages (at least) where the concepts need to be redefined in that context.


 * Now the "abstract absolute value" is interesting in that it fulfils the conditions derived from the "absolute value" as introduced based on the "ordered integral domain" which is the bit you commented about. Which comes first? The abstract concept, from which we deduce that the concrete version as defined on the OID and demonstrated to fit these conditions? Or the absolute value as defined on the OID from which we introduce the concept for the general field (and I can see where this goes: clearly the complex modulus is an abstract absolute value and so $(\C, \cdot)$ is a valued field.


 * Or we do both at once and prove that absolute value as defined via the positivity property on the OID is the only such function meeting these conditions on the OID? (Is that even true?


 * I need to take a step back and come back to it when I've thought about something else for a while. My brain works glacially slowly nowadays. --prime mover 17:15, 20 March 2011 (CDT)


 * I guess to some extent it's a matter of taste.


 * My feeling is that analytically the absolute value is just a measurement of distance -- the existence of such a function classifies $\R$ as a valued field, but it is just a convenience of the archimedean property and completeness that this so closely relates to ordering, and $\R$ is more naturally an ordered field.


 * But I've only really studied the $p$-adics and discrete valuations in this context, I've only touched upon ordered fields, formally real fields etc., so I don't understand exactly what the relationship is, and I skip the page whenever I see ordered abelian groups mentioned...


 * BTW, I'll probably be quiet for a a couple of months, I'm doing the Part III exams soon and I'm every bit as scared as they want me to be. --Linus44 13:13, 21 March 2011 (CDT)