Utente:Luca Antonelli/Sandbox01: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
←Pagina svuotata completamente |
||
Riga 1: | Riga 1: | ||
La '''funzione di Dirichlet''' è una [[funzione di variabile reale]], che assume due soli valori, diversi a seconda che la variabile indipendente sia [[numero razionale|razionale]] o [[numero irrazionale|irrazionale]]. Questa funzione fu introdotta da [[Peter Gustav Lejeune Dirichlet|Peter Dirichlet]] come esempio di funzione molto lontana dalle tradizionali funzioni note fino ad allora nell'[[analisi matematica]]. |
|||
==Definizione== |
|||
La funzione di Dirichlet è definita nel modo seguente: |
|||
: <math>\chi(x)=\left\{ |
|||
\begin{matrix} |
|||
1 & x \in \mathbb{Q} \\ |
|||
0 & x \in \mathbb{R} - \mathbb{Q} |
|||
\end{matrix} |
|||
\right. |
|||
</math> |
|||
È la [[funzione indicatrice]] dell'insieme dei razionali <math>\mathbb{Q}</math>. |
|||
Viene talora chiamata funzione di Dirichlet la funzione definita a valori invertiti: |
|||
: <math>\chi(x)=\left\{ |
|||
\begin{matrix} |
|||
0 & x \in \mathbb{Q} \\ |
|||
1 & x \in \mathbb{R} - \mathbb{Q} |
|||
\end{matrix} |
|||
\right. |
|||
</math> |
|||
Nel seguito quest'ultima funzione sarà indicata come <math>1 - \chi</math>. |
|||
==Continuità e integrabilità== |
|||
La funzione di Dirichlet è un esempio di funzione che non è [[funzione continua|continua]] in nessun punto del [[dominio (matematica)|dominio]], infatti ogni [[intorno]] di qualsiasi punto contiene sempre almeno un numero razionale e un numero irrazionale (in effetti infiniti punti per entrambe le categorie) e quindi due punti in cui la funzione assume valore 0 e 1. |
|||
La funzione è non [[integrale di Riemann|integrabile secondo Riemann]] ma [[integrale di Lebesgue|integrabile secondo Lebesgue]]. Poiché la funzione assume [[quasi ovunque]] valore 0 (essendo l'insieme dei numeri razionali un [[insieme di misura nulla]]) ll risultato dell'operazione di integrazione su qualunque intervallo <math>[a,b]</math> è 0. Per analoghe ragioni, l'integrale della funzione <math>1 - \chi</math> sull'intervallo <math>[a,b]</math> vale <math>b - a</math>. |
|||
==Altre proprietà== |
|||
Il [[grafico di una funzione|grafico]] della funzione apparirebbe come due [[retta|rette]] orizzontali, di ordinata 0 e 1, "sbiadite", ovvero fatte di tanti punti infinitamente vicini e "buchi" puntiformi infinitamente vicini. |
|||
La funzione di Dirichlet è approssimabile mediante funzioni continue secondo la formula seguente: |
|||
: <math>\chi(x) = \lim_{n \rightarrow \infty} \lim_{m \rightarrow \infty} \left[ \cos \left( 2 \pi n! x \right) \right]^m</math>. |
|||
La funzione 1 − χ |
|||
presenta inoltre un minimo relativo e assoluto improprio per ogni x razionale, e un massimo relativo e assoluto improprio per ogni x irrazionale. |
|||
==Funzione di Dirichlet modificata== |
|||
Nel [[1854]] [[Bernhard Riemann]] descrisse una variante della funzione di Dirichlet, che pur essendo discontinua su ogni [[intervallo (matematica)|intervallo]] della [[retta reale]], è integrabile secondo Riemann. Una possibile definizione di questa funzione è: |
|||
: <math> |
|||
\Chi(x)= |
|||
\begin{cases} |
|||
\frac{1}{q} & x = \frac{p}{q}, \mbox{con } \frac{p}{q} \mbox{ ridotta ai minimi termini} \\ |
|||
0 & x \in \mathbb{R} - \mathbb{Q}. |
|||
\end{cases} |
|||
</math> |
|||
Questa funzione è integrabile secondo Riemann perché dato un qualunque valore positivo <math>\epsilon</math>, la funzione supera <math>\epsilon</math> solamente in un numero finito di punti; le [[Integrale#Definizione di integrale|somme integrali]] che approssimano il valore dell'integrale tendono quindi a zero. |
|||
Inoltre, la funzione è anche continua in ogni valore irrazionale di <math>x</math>: preso infatti un numero irrazionale <math>x_0</math> e fissato un valore positivo <math>\epsilon</math>, esiste sempre un intorno di <math>x_0</math> in cui <math>\Chi(x_0) < \epsilon</math>; segue quindi che: |
|||
<math>\lim_{x \rightarrow x_0}\Chi(x) = 0</math>. |
|||
==Bibliografia== |
|||
* {{cita libro|cognome=Stillwell|nome=John|curatore=Claudio Bartocci e Piergiorgio Odifreddi|titolo=La Matematica II - Problemi e teoremi|anno=2008|editore=Einaudi|città=Torino|capitolo=Il teorema fondamentale del calcolo|id=ISBN 978-88-06-16425-6}} |
|||
==Voci correlate== |
|||
* [[Misura di Lebesgue]] |
|||
==Collegamenti esterni== |
|||
* [http://www.vialattea.net/esperti/mat/ifzero/_dirichlet.htm Una discussione sull'integrabilità della funzione di Dirichlet] |
|||
<nowiki>[[Categoria: Funzioni reali di variabile reale]] |
|||
[[Categoria: Teoria della misura]] |
|||
[[Categoria: Funzioni speciali]] |
|||
{{Portale|matematica}} |
|||
[[bg:Функция на Дирихле]] |
|||
[[cs:Dirichletova funkce]] |
|||
[[de:Dirichlet-Funktion]] |
|||
[[en:Nowhere continuous function]] |
|||
[[he:פונקציית דיריכלה]] |
|||
[[ja:ディリクレの関数]] |
|||
[[nl:Dirichletfunctie]] |
|||
[[pl:Funkcja Dirichleta]] |
|||
[[pt:Função de Dirichlet]] |
|||
[[ru:Функция Дирихле]] |
|||
[[sk:Dirichletova funkcia]] |
|||
[[sv:Dirichlets funktion]]</nowiki> |