Math 2.0

Difference and functional equations Functional equations: foundations Example

Discontinuous additive functions via a Hamel basis

Builds on BasisAxiom of choiceContinuous function

Example

View ℝ\R as a vector space over the field ℚ\Q of rational numbers. The numbers 11 and 2\sqrt{2} are linearly independent over ℚ\Q, because 2\sqrt{2} is irrational. By the axiom of choice, this independent set extends to a basis BB of ℝ\R over ℚ\Q, called a Hamel basis. Every real xx is then a unique finite sum x=∑b∈Bqb(x) bx = \sum_{b \in B} q_b(x)\, b with rational coefficients qb(x)q_b(x), almost all zero. Define f ⁣:ℝ→ℝf \colon \R \to \R by f(x)=q1(x)f(x) = q_1(x), the coefficient of the basis vector 11.

Check of additivity: the coefficients of x+yx + y are the sums of the coefficients of xx and yy, so f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y). So ff is an additive function. It is not of the form f(x)=cxf(x) = cx: f(1)=1f(1) = 1 would force c=1c = 1, but f(2)=0≠2f(\sqrt{2}) = 0 \ne \sqrt{2}. Hence ff is not continuous, since every continuous additive function is linear. One can also see this directly: ff takes only rational values, while a continuous function on ℝ\R with only rational values is constant, and f(0)=0≠1=f(1)f(0) = 0 \ne 1 = f(1).

Reading path

To understand this page from the ground up, read these 22 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Basis concept
  2. Continuous function concept
  3. Element definition
  4. Proposition concept
  5. Set definition
  6. Disjunction definition
  7. Implication definition
  8. Predicate definition
  9. Family of sets definition
  10. Ordered pair definition
  11. Union definition
  12. Existential quantifier definition
  13. Universal quantifier definition
  14. Cartesian product definition
  15. Union of a family of sets definition
  16. Subset definition
  17. Uniqueness quantifier definition
  18. Binary relation definition
  19. Function definition
  20. Choice function definition
  21. Axiom of choice statement
  22. Discontinuous additive functions via a Hamel basis example

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Cauchy%27s_functional_equation
About this page
TagFFTNS66XG6
URIm2://FFTNS66XG6
Kindexample
WritingW0 stub
MSC39B22, 15A03
Instance ofAdditive function
UsesBasis, Axiom of choice, Continuous function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by