Difference and functional equations Functional equations: foundations Example
Discontinuous additive functions via a Hamel basis
Builds on BasisAxiom of choiceContinuous function
Example
View as a vector space over the field of rational numbers. The numbers and are linearly independent over , because is irrational. By the axiom of choice, this independent set extends to a basis of over , called a Hamel basis. Every real is then a unique finite sum with rational coefficients , almost all zero. Define by , the coefficient of the basis vector .
Check of additivity: the coefficients of are the sums of the coefficients of and , so . So is an additive function. It is not of the form : would force , but . Hence is not continuous, since every continuous additive function is linear. One can also see this directly: takes only rational values, while a continuous function on with only rational values is constant, and .
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
- no evidence level
- Basis concept
- Continuous function concept
- Element definition
- Proposition concept
- Set definition
- Disjunction definition
- Implication definition
- Predicate definition
- Family of sets definition
- Ordered pair definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Union of a family of sets definition
- Subset definition
- Uniqueness quantifier definition
- Binary relation definition
- Function definition
- Choice function definition
- Axiom of choice statement
- Discontinuous additive functions via a Hamel basis example
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | FFTNS66XG6 |
|---|---|
| URI | m2://FFTNS66XG6 |
| Kind | example |
| Writing | W0 stub |
| MSC | 39B22, 15A03 |
| Instance of | Additive function |
| Uses | Basis, 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.