Simbolo insieme delle funzioni continue

garnak.olegovitc1
Salve a tutti,
siano dati \( a \subseteq \mathbb{R} \), esiste un simbolo particolare per indicare l'insieme di tutte le funzioni continue da \( a \) in \(\mathbb{R}\) ??
Ringrazio anticipatamente!
Saluti

P.S.=So che è spazio vettoriale rispetto alla somma e al prodotto di uno scalare per la funzione, ma non ho mai trovato un simbolo specifico, non vorrei che sia per caso \( \mathcal{C}(a,\mathbb{R})\)??

Risposte
Zero87
"garnak.olegovitc":
So che è spazio vettoriale rispetto alla somma e al prodotto di uno scalare per la funzione, ma non ho mai trovato un simbolo specifico, non vorrei che sia per caso \( \mathcal{C}(a,\mathbb{R})\)??

Non ho mai trovato un simbolo specifico, ma ricordo che nel corso di analisi 3 e analisi funzionale i prof. scrivevano \( \mathcal{C}^0 (a,\mathbb{R})\).

garnak.olegovitc1
@Zero87,

"Zero87":
[quote="garnak.olegovitc"]So che è spazio vettoriale rispetto alla somma e al prodotto di uno scalare per la funzione, ma non ho mai trovato un simbolo specifico, non vorrei che sia per caso \( \mathcal{C}(a,\mathbb{R})\)??

Non ho mai trovato un simbolo specifico, ma ricordo che nel corso di analisi 3 e analisi funzionale i prof. scrivevano \( \mathcal{C}^0 (a,\mathbb{R})\).[/quote]

grazie della risposta, ma quel simbolismo non si usava per Classe C di una funzione? Magari sono la stessa cosa, ma se volessi non allacciarmi per il momento al concetto di funzione derivabile è lecito usare quel simbol? Leggevo qui che il simbolismo tutto sommato è quasi lo stesso solo che manca quel "\( ^0 \)"... poi per caso leggo anche http://de.wikipedia.org/wiki/Stetigkeit#Funktionenr.C3.A4ume_stetiger_Funktionen... :-) mi piacerebbe un tuo parere!! :wink:
Ringrazio anticipatamente!!

Saluti

Zero87
Premetto che la pagina in tedesco l'ho tradotta con il traduttore di google... :roll:

Comunque non saprei anche se, in senso poetico, $C^0$ lo intendo come "derivabile zero volte con derivata zeresima continua", dunque continua e basta. Per il resto non so occorre aspettare pareri più esperti del mio. :-)

Riccardo Desimini
"garnak.olegovitc":
grazie della risposta, ma quel simbolismo non si usava per Classe C di una funzione? Magari sono la stessa cosa, ma se volessi non allacciarmi per il momento al concetto di funzione derivabile è lecito usare quel simbol?

Non credo che questo sia un problema.

In fondo, basta porre per definizione che \( C^0(I) \) è l'insieme che ha per elementi le funzioni continue \( f : I \subseteq \mathbb{R} \rightarrow \mathbb{R} \).

Se addirittura togli anche lo \( 0 \) in apice, risolvi il problema del tutto, chiamando \( C(I) \) l'insieme delle funzioni \( f \) che ho descritto sopra.

garnak.olegovitc1
@Zero87,

"Zero87":
Premetto che la pagina in tedesco l'ho tradotta con il traduttore di google... :roll:

Comunque non saprei anche se, in senso poetico, $C^0$ lo intendo come "derivabile zero volte con derivata zeresima continua", dunque continua e basta. Per il resto non so occorre aspettare pareri più esperti del mio. :-)


preciso che l'ho tradotta pure io con google translate :roll: grazie cmq della risposta!

Saluti

gugo82
Per denotare l'insieme delle funzioni \(f:X\to Y\) continue (qui \(X\) ed \(Y\) sono spazi topologici "interessanti"), nei testi di Analisi si usano ubiquamente due notazioni: o \(C(X;Y)\) (più usata) o \(C^0 (X;Y)\) (un po' più specifica). Se \(Y=\mathbb{R}\), si usa la notazione più "leggera" \(C(X)\) o \(C^0 (X)\).

Il simbolo \(C_c (X;Y)\) denota la classe delle funzioni continue il cui supporto è compatto in \(Y\).

Se \(Y\) è metrico, il simbolo \(C_b(X;Y)\) denota le funzioni continue che hanno immagine limitata in \(Y\).
Se \(X\) ed \(Y\) sono metrici, il simbolo \(C^\gamma (X;Y)\) o \(C^{0,\gamma} (X;Y)\) denota l'insieme delle funzioni holderiane con esponente \(\gamma \in ]0,1]\), i.e. le funzioni tali che:
\[
d_Y(f(x_1),f(x_2))\leq d_X^\gamma (x_1,x_2)
\]
per ogni \(x_1,x_2\in X\).
Se \(\gamma =1\), tali funzioni sono dette lipschitziane e per denotarne l'insieme si usa anche il simbolo \(\text{Lip}(X;Y)\)

Se \(Y\) è vettoriale topologico, il simbolo \(C^k(X;Y)\) denota la classe delle funzioni derivabili almeno \(k\) volte che hanno la derivata \(k\)-esima continua (e dunque sono continue con tutte le derivate intermedie pure continue). Analogamente, \(C^\infty (X;Y)\) denota la classe delle funzioni indefinitamente derivabili.
Se \(X\) ed \(Y\) sono vettoriali metrici, il simbolo \(C^{k,\gamma} (X;Y)\) denota la l'insieme delle funzioni derivabili \(k\) volte che hanno la derivata \(k\)-esima holderiana d'esponente \(\gamma \in ]0,1]\).

garnak.olegovitc1
@gugo82,

thanks soo much!! :-)

Saluti

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.