$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Base de Hamel

  On appelle base de Hamel de $\mathbb R$ toute base de $\mathbb R$ vu comme $\mathbb Q$-espace vectoriel, c'est-dire-une famille $(y_a)$ de réels tel que tout réel $y$ s'écrive de façon unique $$y=\sum_{i=1}^n r_i y_{a_i}$$ où les $r_i$ sont des rationnels, et les $y_{a_i}$ des éléments distincts de la famille $(y_a)$.   On ne peut pas exhiber concrètement une base de Hamel : leur existence est équivalente à l'axiome du choix.

L'existence de telles bases est démontré par le mathématicien allemand Georg Hamel en 1905, peu de temps après que son compatriote Ernst Zermelo ait formalisé l'axiome du choix. Hamel utilisait ce type de base pour démontrer qu'il existe des fonctions $f:\mathbb R\to\mathbb R$ qui ne sont continues telles que, pour tout $(x,y)\in\mathbb R^2$, $f(x+y)=f(x)+f(y)$.
Consulter aussi...