Discussion Overview
The discussion centers on the value of the p-adic norm |x|_p in p-adic analysis, exploring various cases for x and p, as well as the evaluation of integrals over the p-adic numbers Q_p. The scope includes theoretical aspects of p-adic analysis and mathematical reasoning related to integrals.
Discussion Character
- Exploratory
- Technical explanation
- Mathematical reasoning
Main Points Raised
- One participant queries the value of the norm |x|_p under different conditions for x and p, including cases where p is zero or infinite.
- Another participant clarifies that in p-adic analysis, p is a prime and that |0|_p equals 0, noting that p=0 is not applicable.
- It is mentioned that the usual absolute value |x| may be referred to as the ∞-adic absolute value, and that the p-adic absolute value is specifically for p-adic numbers.
- A participant suggests using the Haar measure for evaluating the integral of |x|_p f(x) over Q_p.
- Another participant proposes a formula involving Haar measure and expresses a need to expand f into a power series for integration.
- One reply counters that power series may not be useful due to the countable values of the integrand |x|_p, suggesting that integrals should be converted to sums instead.
Areas of Agreement / Disagreement
Participants express differing views on the applicability of power series in the context of p-adic integrals, indicating a lack of consensus on the best approach for evaluating the integral.
Contextual Notes
There are unresolved assumptions regarding the definitions and properties of the p-adic norm and the conditions under which the integral is evaluated.