Trasf. lineare su convoluzione di seq. bilatera con \( \displaystyle \delta \)

[Lorra]

Credo che la sezione sia giusta.

Ora se \( \displaystyle {T} \) è una trasformazione (univoca) lineare \( \displaystyle {T}: \) sequenza reale (complessa) -> sequenza reale (complessa) e la convoluzione di due sequenze \( \displaystyle {x} \) e \( \displaystyle {y} \) a valori reali (complessi) bilatere è definita come \( \displaystyle {x}{c}{o}{n}{v}.{y}={\sum_{{{k}=-\infty}}^{\infty}}{x}{\left({k}\right)}{y}{\left({n}-{k}\right)} \) e \( \displaystyle \delta{\left({k}\right)}={1} \) se \( \displaystyle {k}={0} \) , \( \displaystyle \delta{\left({k}\right)}={0} \) se \( \displaystyle {k}\ne{0} \) è vero che \( \displaystyle {T}{\left[{x}{c}{o}{n}{v}.\delta\right]}{\left({k}\right)}={T}{\left[{\sum_{{{k}=-\infty}}^{\infty}}{x}{\left({k}\right)}\delta{\left({n}-{k}\right)}\right]}={\sum_{{{k}=-\infty}}^{\infty}}{x}{\left({k}\right)}{T}{\left[\delta{\left({n}-{k}\right)}\right]}?\lt{b}\frac{{r}}{\gt} \)T\( \displaystyle {v}{i}{e}\ne{\det{{t}}}{a}{l}\in{e}{a}{r}{e}\ne{l}{l}{a}{\cos{{a}}}{c}{h}{e}{s}\to\le{g{\ge}}{n}{d}{o}{s}{e} \)T[alphax+betay] = alphaT[x] + betaT[y]\( \displaystyle \)x,y\( \displaystyle {s}{e}{q}{u}{e}{n}{z}{e}{r}{e}{a}{l}{i}{\left({c}{o}{m}{p}\le{s}{s}{e}\right)} \)alpha,beta in C$.
La definizione parla di somma finita, non mi convince l'estensione alla somma infinita, è legittima? Perché?

[gugo82]

Scusami Lorra, ma non riesco ad afferrare il senso di questa uguaglianza:

\( \displaystyle {T}{\left[{x}\star\delta\right]}{\left({k}\right)}={T}{\left[{\sum_{{{k}=-\infty}}^{\infty}}{x}{\left({k}\right)}\ \delta{\left({n}-{k}\right)}\right]}={\sum_{{{k}=-\infty}}^{\infty}}{x}{\left({k}\right)}\ {T}{\left[\delta{\left({n}-{k}\right)}\right]}\frac{\lt}{\div}\gt\frac{\lt}{{b}}{l}{o}{c}{k}{q}{u}{o}{t}{e}\gt\lt{b}\frac{{r}}{\gt}{V}{o}{g{{l}}}{i}{o}{d}{i}{r}{e}:\chiè{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}{\left[\delta{\left({n}-{k}\right)}\right]}\right)}?\lt{b}\frac{{r}}{\gt}{S}{e}{n}{o}{n}\int{e}{r}{p}{r}{e}\to{m}{a}\le{d}{o}{v}{r}{e}{\mathbf{{e}}}{e}{s}{s}{e}{r}{e}{u}{n}{e}\le{m}{e}{n}\to{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}{e}{n}{o}{n}{u}{n}{o}{s}{c}{a}{l}{a}{r}{e},{a}\lt{r}{i}{m}{e}{n}{t}{i}{q}{u}{e}{l}{l}'{u}{g{{u}}}{a}{g{{l}}}{i}{a}{n}{z}{a}{n}{o}{n}{a}{v}{r}{e}{\mathbf{{e}}}{s}{e}{n}{s}{o}{\left({a}{v}{r}{e}{s}{t}{i}{u}{n}{a}\succ{e}{s}{s}{i}{o}\ne-{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}{\left[{x}\cdot\delta\right]}\right)}-{d}{a}{u}{n}{l}{a}\to{e}{d}{u}{n}{o}{s}{c}{a}{l}{a}{r}{e}-{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\sum_{{{k}=-\infty}}^{{+\infty}}}{x}{\left({k}\right)}\ {T}{\left[\delta{\left({n}-{k}\right)}\right]}\right)}-{d}{a}{l}{l}'{a}\lt{r}{o}!\right)}\ldots\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{P}{r}{a}{t}{i}{c}{a}{m}{e}{n}{t}{e}{s}{t}{a}{i}{d}{i}{c}{e}{n}{d}{o}{c}{h}{e}{i}{l}{v}{a}{l}{\quad\text{or}\quad}{e}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}{x}\right)}è{\det{{e}}}{r}\min{a}\to{d}{a}{i}{v}{a}{l}{\quad\text{or}\quad}{i}{a}{s}{s}{u}{n}{t}{i}{d}{a}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}\right)}{s}{u}{u}{n}{a}{\det{{e}}}{r}\min{a}{t}{a}\succ{e}{s}{s}{i}{o}\ne{d}{i}{e}\le{m}{e}{n}{t}{i}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}{\left({o}\vee{e}{r}{o}{i}{t}{r}{a}{s}{l}{a}{t}{i}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\delta\right)}\right)}\ldots\lt{b}\frac{{r}}{\gt}{I}{l}{c}{h}{e}{n}{o}{n}è{s}{t}{r}{a}{n}{o},{v}{i}{s}\to{c}{h}{e}{g{{l}}}{i}{e}\le{m}{e}{n}{t}{i}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}{c}{h}{e}{s}{i}{o}{\mathtt{{e}}}{g{{o}}}{n}{o}{t}{r}{a}{s}{l}{\quad\text{and}\quad}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\delta\right)}{s}{o}{n}{o}\text{quelli buoni}{p}{e}{r}{\cos{{t}}}{r}{u}{i}{r}{e}{l}{o}{s}{p}{a}{z}{i}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)},{o}{s}{s}{i}{a}{q}{u}{e}{l}{l}{i}\ne{l}{l}{a}{f{{\quad\text{or}\quad}}}{m}{a}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\text{e}}^{{m}}={\left({\delta_{{n}}^{{m}}}\right)}\right)}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({q}{u}{i}{e}\ne{l}{s}{e}{g{{u}}}{i}\to{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\delta_{{n}}^{{m}}}\right)}è{i}{l}\sim{b}{o}{l}{o}{d}{i}{K}{r}{o}\ne{c}{k}{e}{r},{s}{i}{\mathcal{{h}}}é{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\delta_{{n}}^{{m}}}={1}\right)}{s}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{n}={m}\right)}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le={0}\right)}{s}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{n}\ne{q}{m}\right)}\right)};{s}{e}{g{{u}}}{e}{n}{d}{o}{l}{a}{t}{u}{a}\neg{a}{z}{i}{o}\ne,{s}{i}{h}{a}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\text{e}}^{{m}}=\delta{\left({m}-{n}\right)}\right)}.\lt{b}\frac{{r}}{\gt}{I}{n}{f{{a}}}{\mathtt{{i}}}{p}{e}{r}{o}{g{{n}}}{i}{f{{i}}}{s}{s}{a}\to{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\in{e}{l}{{l}}^{{1}}\right)}{r}{i}{e}{s}{c}{e}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}={\sum_{{{n}=-\infty}}^{{+\infty}}}{x}_{{n}}\ {\text{e}}^{{n}}\right)}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}\ne{l}{s}{e}{n}{s}{o}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)},{o}{s}{s}{i}{a}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\lim_{{{M},{m}\to+\infty}}\le{f{{t}}}{l}{V}{e}{r}{t}{x}-{\sum_{{{n}=-{m}}}^{{M}}}{x}_{{n}}\ {\text{e}}^{{n}}{r}{i}{g{{h}}}{t}{r}{V}{e}{r}{t}_{{1}}={0}\right)}.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{A}{d}{o}{g{{n}}}{i}{b}{u}{o}{n}{c}{o}{n}\to,{s}{e}{i}{s}{i}{c}{u}{r}{o}{c}{h}{e}{o}\lt{r}{e}{a}{l}{l}{a}{l}\in{e}{a}{r}{i}{t}à\partial{l}'{o}{p}{e}{r}{a}\to{r}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}\right)}{n}{o}{n}{s}{i}{a}{s}\sum{a}{a}{n}{c}{h}{e}{l}{a}{c}{o}{n}{t}\in{u}{i}{t}à{o},{c}{i}ò{c}{h}{e}è{l}{o}{s}{t}{e}{s}{s}{o},{l}{a}\lim{i}{t}{a}{t}{e}{z}{z}{a}?\lt{b}\frac{{r}}{\gt}\lt\div{c}{l}{a}{s}{s}=\text{spoiler-switcher}\gt\lt{s}{p}{a}{n}\gt{T}{e}{s}\to{n}{a}{s}{\cos{\to}},{f{{a}}}{i}{c}{l}{i}{c}{k}{q}{u}{i}{p}{e}{r}{v}{e}{d}{e}{r}{l}{o}\frac{\lt}{{s}}{p}{a}{n}\gt\frac{\lt}{\div}\gt\lt\div{c}{l}{a}{s}{s}=\text{spoiler-content}{i}{d}=\text{spf992dcd419e0cdcdd8ec3f29fb9684bb}\gt{C}{h}{i}{a}{r}{i}{a}{m}{o}{u}{n}{p}{o}&#{39};{i}{l}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{s}{e}{\mathtt{\in}}\frac{{g{\lt}}}{{s}}{p}{a}{n}\gt{\left({n}{o}{n}{s}{e}{m}{b}{r}{i}{m}{o}\lt{o}{f{{a}}}{m}{i}{l}{i}{a}{r}{e}{c}{o}{n}{g{{l}}}{i}{s}{p}{a}{z}{i}{d}{i}\succ{e}{s}{s}{i}{o}{n}{i};{h}{a}{i}{s}{t}{u}{d}{i}{a}\to{u}{n}{p}{o}&#{39};{d}{i}{A}{n}{a}{l}{i}{s}{i}{F}{u}{n}{z}{i}{o}{n}{a}\le?{S}{a}{r}{e}{\mathbf{{e}}}{d}&#{39};{a}{i}{u}\to\ldots\right)}.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-weight: bold}\gt{L}{o}{s}{p}{a}{z}{i}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}\frac{\lt}{{s}}{p}{a}{n}\gt:\lt{b}\frac{{r}}{\gt}{L}{o}{s}{p}{a}{z}{i}{o}{d}{i}\succ{e}{s}{s}{i}{o}{n}{i}{b}{i}{l}{a}{t}{e}{r}{e}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}{\left({\mathbb{{{Z}}}}\right)}\:=\le{f{{t}}}{\left\lbrace{x}={\left({x}_{{n}}\right)}_{{{n}\in{\mathbb{{{Z}}}}}}\subseteq{\mathbb{{{C}}}}:\ {\sum_{{{n}=-\infty}}^{{+\infty}}}{\left|{x}_{{n}}\right|}\lt+\infty{r}{i}{g{{h}}}{t}\right\rbrace}\right)}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}è{u}{n}{o}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{s}{p}{a}{z}{i}{o}{v}{e}{\mathtt{{\quad\text{or}\quad}}}{i}{a}\le\frac{\lt}{{s}}{p}{a}{n}\gt{c}{o}{n}{l}{a}{s}{o}{m}{m}{a}{e}{d}{i}{l}\prod{o}{\mathtt{{o}}}{p}{e}{r}{l}{o}{s}{c}{a}{l}{a}{r}{e}{d}{e}{f{\in}}{i}{t}{e}\text{componente per componente};\ne{l}{s}{e}{g{{u}}}{i}\to,{p}{e}{r}{\sin{{t}}}{e}{s}{i},{d}{e}\neg{e}{r}{e}{m}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}{\left({\mathbb{{{Z}}}}\right)}\right)}{s}{e}{m}{p}{l}{i}{c}{e}{m}{e}{n}{t}{e}{c}{o}{n}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{L}{o}{s}{p}{a}{z}{i}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}è{n}{\quad\text{or}\quad}{m}{a}{b}{i}\le{c}{o}{n}{l}{a}\text{norma naturale}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{l}{V}{e}{r}{t}{x}{r}{V}{e}{r}{t}_{{1}}\:={\sum_{{{n}=-\infty}}^{{+\infty}}}{\left|{x}_{{n}}\right|}\right)};\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{l}{o}{s}{p}{a}{z}{i}{o}{v}{e}{\mathtt{{\quad\text{or}\quad}}}{i}{a}\le{n}{\quad\text{or}\quad}{m}{a}\to{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\left({e}{l}{{l}}^{{1}},{l}{V}{e}{r}{t}\cdot{r}{V}{e}{r}{t}_{{1}}\right)}\right)}è{c}{o}{m}{p}\le\to{r}{i}{s}{p}{e}{\mathtt{{o}}}{a}{l}{l}{a}{m}{e}{t}{r}{i}{c}{a}\in{\dot{{t}}}{a}{\left({d}{a}{l}{l}{a}{d}{i}{s}{\tan{{z}}}{a}\in{\dot{{t}}}{a}\right)}{d}{a}{l}{l}{a}{n}{\quad\text{or}\quad}{m}{a},{q}{u}\in{d}{i}è{u}{n}{o}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{s}{p}{a}{z}{i}{o}{d}{i}{B}{a}{n}{a}{c}{h}\frac{\lt}{{s}}{p}{a}{n}\gt.\lt{b}\frac{{r}}{\gt}{T}{a}\le{s}{p}{a}{z}{i}{o}{d}{i}{B}{a}{n}{a}{c}{h}è{s}{e}{p}{a}{r}{a}{b}{i}\le{e}{l}{a}{c}{l}{a}{s}{s}{e}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{c}_{{{00}}}\:=\le{f{{t}}}{\left\lbrace{x}={\left({x}_{{n}}\right)}_{{{n}\in{\mathbb{{{Z}}}}}}\subseteq{\mathbb{{{C}}}}:\ \exists\nu,\mu\in{\mathbb{{{N}}}}:\forall{n}\leq\nu\ \text{ o }\ {n}\lt-\mu,\ {x}_{{n}}={0}{r}{i}{g{{h}}}{t}\right\rbrace}=\text{span}{\left\lbrace{\text{e}}^{{m}}\right\rbrace}_{{{m}\in{\mathbb{{{Z}}}}}}\right)}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}è{u}{n}{s}{o}{\mathtt{{o}}}{s}{p}{a}{z}{i}{o}{v}{e}{\mathtt{{\quad\text{or}\quad}}}{i}{a}\le{t}{a}\le{c}{h}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{{\overline{{{c}_{{{00}}}}}}}^{{{l}{V}{e}{r}{t}\cdot{r}{V}{e}{r}{t}_{{1}}}}={e}{l}{{l}}^{{1}}\right)}{\left({c}{i}ò{v}{u}{o}{l}{d}{i}{r}{e}{c}{h}{e}{l}{a}\chi{u}{s}{u}{r}{a}\partial{s}{o}{\mathtt{{o}}}{s}{p}{a}{z}{i}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{c}_{{{00}}}\right)}{f{{a}}}{\mathtt{{a}}}{r}{i}{s}{p}{e}{\mathtt{{o}}}{a}{l}{l}{a}\top{o}{\log{{i}}}{a}\in{\dot{{t}}}{a}{d}{a}{l}{l}{a}{n}{\quad\text{or}\quad}{m}{a}è{t}{u}{\mathtt{{o}}}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}\right)}:\in{a}\lt{r}{e}{p}{a}{r}{o}\le,{o}{g{{n}}}{i}{e}\le{m}{e}{n}\to{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\in{e}{l}{{l}}^{{1}}\right)}{s}{i}{p}{u}ò{a}{p}{p}{r}{o}{s}\sim{a}{r}{e}\in{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{l}{V}{e}{r}{t}\cdot{r}{V}{e}{r}{t}_{{1}}\right)}{c}{o}{n}{u}{n}{a}\succ{e}{s}{s}{i}{o}\ne{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\left({{x}}^{{m}}\right)}\subseteq{c}_{{{00}}}\right)}.\lt{b}\frac{{r}}{\gt}{I}{n}{p}{a}{r}{t}{i}{c}{o}{l}{a}{r}{e},{f{{i}}}{s}{s}{a}\to{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}={\left({x}_{{n}}\right)}\in{e}{l}{{l}}^{{1}}\right)},{l}{a}\succ{e}{s}{s}{i}{o}\ne{\left({d}{i}\succ{e}{s}{s}{i}{o}{n}{i}\right)}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\left({{x}}^{{m}}\right)}\subseteq{e}{l}{{l}}^{{1}}\right)}{i}{l}{c}{u}{i}{t}{e}{r}\min{e}\ge\ne{r}{a}\le{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{{x}}^{{m}}={\left({{x}_{{n}}^{{m}}}\right)}\in{e}{l}{{l}}^{{1}}\right)}è{d}{e}{f{\in}}{i}\to{p}{o}\ne{n}{d}{o}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{{x}_{{n}}^{{m}}}={b}{e}{g{\in}}{\left\lbrace{c}{a}{s}{e}{s}\right\rbrace}{x}_{{n}}&\text{, se},{s}{e}\right.} \)|n|\leq m\( \displaystyle \rbrace\backslash{0}&\text{, se},{s}{e} \)|n|>m\( \displaystyle \rbrace{e}{n}{d}{\left\lbrace{c}{a}{s}{e}{s}\right\rbrace}\)\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}è{t}{a}\le{c}{h}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{{x}}^{{m}}\in{c}_{{{00}}}\right)}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\lim_{{m}}{l}{V}{e}{r}{t}{x}-{{x}}^{{m}}{r}{V}{e}{r}{t}_{{1}}={0}\right)},{s}{i}{\mathcal{{h}}}é{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{\left({{x}}^{{m}}\right)}\right)}{a}{p}{p}{r}{o}{s}\sim{a}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\right)}\in{n}{\quad\text{or}\quad}{m}{a}.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-weight: bold}\gt{O}{p}{e}{r}{a}\to{r}{i}\frac{\lt}{{s}}{p}{a}{n}\gt:\lt{b}\frac{{r}}{\gt}{U}{n}&#{39};{a}{p}{p}{l}{i}{c}{a}{z}{i}{o}\ne{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}:{e}{l}{{l}}^{{1}}\to{e}{l}{{l}}^{{1}}\right)}{v}{i}{e}\ne{\det{{t}}}{a}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{o}{p}{e}{r}{a}\to{r}{e}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}\in{s}é\frac{\lt}{{s}}{p}{a}{n}\gt.\lt{b}\frac{{r}}{\gt}{U}{n}{o}{p}{e}{r}{a}\to{r}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}\right)}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}\in{s}éè\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{l}\in{e}{a}{r}{e}\frac{\lt}{{s}}{p}{a}{n}\gt{s}{e}{e}{s}{s}{o}è{u}{n}{e}{n}{d}{o}{m}{\quad\text{or}\quad}{f{{i}}}{s}{m}{o}\partial{l}{o}{s}{p}{a}{z}{i}{o}{v}{e}{\mathtt{{\quad\text{or}\quad}}}{i}{a}\le{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)};{c}{i}ò{s}{i}{g{{n}}}{\quad\text{if}\quad}{i}{c}{a}{c}{h}{e}{p}{e}{r}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x},{y}\in{e}{l}{{l}}^{{1}}\right)}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\alpha,\beta\in{\mathbb{{{C}}}}\right)}{s}{i}{h}{a}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}{\left(\alpha\ {x}+\beta\ {y}\right)}=\alpha\ {T}{x}+\beta\ {T}{y}\right)}{\left({l}{a}\neg{a}{z}{i}{o}\ne{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}{x}\right)}{a}{l}{p}{o}{s}\to{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}{\left({x}\right)}\right)}è{u}{s}{u}{a}\le{p}{e}{r}{g{{l}}}{i}{o}{p}{e}{r}{a}\to{r}{i}{l}\in{e}{a}{r}{i}\right)}.\lt{b}\frac{{r}}{\gt}{U}{n}{o}{p}{e}{r}{a}\to{r}{e}{l}\in{e}{a}{r}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{T}\right)}{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}\in{s}é{s}{i}{d}{i}{c}{e}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt\lim{i}{t}{a}\to\frac{\lt}{{s}}{p}{a}{n}\gt{s}{e}{e}{s}{i}{s}{t}{e}{u}{n}{a}{\cos{{\tan{{t}}}}}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{C}\geq{0}\right)}{t}{a}\le{c}{h}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{l}{V}{e}{r}{t}{T}{x}{r}{V}{e}{r}{t}_{{1}}\leq{C}\ {l}{V}{e}{r}{t}{x}{r}{V}{e}{r}{t}_{{1}}\right)}{p}{e}{r}{o}{g{{n}}}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\in{e}{l}{{l}}^{{1}}\right)}.\lt{b}\frac{{r}}{\gt}{S}{i}\dim{o}{s}{t}{r}{a}{c}{h}{e}{u}{n}{o}{p}{e}{r}{a}\to{r}{e}{l}\in{e}{a}{r}{e}è\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{c}{o}{n}{t}\in{u}{o}\frac{\lt}{{s}}{p}{a}{n}\gt{\left({r}{i}{s}{p}{e}{\mathtt{{o}}}{a}{l}{l}{a}\top{o}{\log{{i}}}{a}\in{\dot{{t}}}{a}{d}{a}{l}{l}{a}{n}{\quad\text{or}\quad}{m}{a}\right)}{s}{e}{e}{s}{o}{l}{o}{s}{e}{e}{s}{s}{o}è\lim{i}{t}{a}\to.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-weight: bold}\gt{C}{o}{n}{v}{o}{l}{u}{z}{i}{o}\ne\frac{\lt}{{s}}{p}{a}{n}\gt:\lt{b}\frac{{r}}{\gt}{P}{r}{e}{s}{i}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x},{y}\in{e}{l}{{l}}^{{1}}\right)},{l}{a}\succ{e}{s}{s}{i}{o}\ne{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{z}={\left({z}_{{n}}\right)}\right)}{d}{e}{f{\in}}{i}{t}{a}{p}{o}\ne{n}{d}{o}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{z}_{{n}}\:={\sum_{{{k}=-\infty}}^{{+\infty}}}{x}_{{k}}\ {y}_{{{n}-{k}}}\right)}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{s}{i}\chi{a}{m}{a}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{c}{o}{n}{v}{o}{l}{u}{z}{i}{o}\ne{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\right)}{e}{d}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{y}\right)}\frac{\lt}{{s}}{p}{a}{n}\gt{e}{s}{i}{d}{e}\neg{a}{c}{o}{l}\sim{b}{o}{l}{o}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\cdot{y}\right)}.\lt{b}\frac{{r}}{\gt}{P}{e}{r}{l}{a}{d}{i}{s}{u}{g{{u}}}{a}{g{{l}}}{i}{a}{n}{z}{a}{d}{i}{H}ö{l}{d}{e}{r}{c}{o}{n}{e}{s}{p}{o}\ne{n}{t}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{1},\infty\right)}{o}{g{{n}}}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{z}_{{n}}\right)}è{f{\in}}{i}\to,{\cos{{i}}}{\mathcal{{h}}}é{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\cdot{y}\right)}è{b}{e}{n}{d}{e}{f{\in}}{i}{t}{a}{c}{o}{m}{e}{s}{u}{c}{e}{s}{s}{i}{o}\ne;{p}{e}{r}ò{s}{i}\dim{o}{s}{t}{r}{a}{p}{u}{r}{e}{c}{h}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{l}{V}{e}{r}{t}{x}\cdot{y}{r}{V}{e}{r}{t}_{{1}}\leq{l}{V}{e}{r}{t}{x}{r}{V}{e}{r}{t}_{{1}}\ {l}{V}{e}{r}{t}{y}{r}{V}{e}{r}{t}_{{1}}\lt+\infty\right)}{\left({q}{u}{e}{s}{t}{a}è{p}{r}{a}{t}{i}{c}{a}{m}{e}{n}{t}{e}{l}{a}{d}{i}{s}{u}{g{{u}}}{a}{g{{l}}}{i}{a}{n}{z}{a}{d}{i}{Y}{o}{u}{n}{g}\right)},{s}{i}{\mathcal{{h}}}é{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\cdot{y}\in{e}{l}{{l}}^{{1}}\right)}{q}{u}\in{d}{i}{l}{a}{c}{o}{n}{v}{o}{l}{u}{z}{i}{o}\neè{u}{n}&#{39};{o}{p}{e}{r}{a}{z}{i}{o}\ne\int{e}{r}{n}{a}{d}{e}{f{\in}}{i}{t}{a}\in{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}.\lt{b}\frac{{r}}{\gt}{L}&#{39};{o}{p}{e}{r}{a}{z}{i}{o}\ne{d}{i}{c}{o}{n}{v}{o}{l}{u}{z}{i}{o}\ne{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\cdot\right)}è{c}{o}{m}\mu{t}{a}{t}{i}{v}{a},{c}{o}{m}{e}{s}{i}{e}{v}\in{c}{e}{c}{o}{n}{u}{n}{s}{e}{m}{p}{l}{i}{c}{e}{c}{a}{m}{b}{i}{a}{m}{e}{n}\to{d}{i}\in{d}{i}{c}{i}\ne{l}{l}{a}\prec{e}{d}{e}{n}{t}{e}{s}{o}{m}{m}{a}\to{r}{i}{a}.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{P}{r}{e}{s}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}={\left({x}_{{n}}\right)}\right)}{e}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\delta={\left({\delta_{{n}}^{{0}}}\right)}={\text{e}}^{{0}}\right)},{l}{a}{c}{o}{n}{v}{o}{l}{u}{z}{i}{o}\ne{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{z}={x}\cdot\delta=\delta\cdot{x}\right)}{h}{a}{p}{e}{r}\text{coordinate}:\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{z}_{{n}}={\sum_{{{k}=-\infty}}^{{+\infty}}}{\delta_{{k}}^{{0}}}\ {x}_{{{n}-{k}}}={x}_{{n}}\right)}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{q}{u}\in{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{x}\cdot\delta={x}=\delta\cdot{x}\right)},{s}{i}{\mathcal{{h}}}é{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\delta\right)}è{u}{n}\lt{s}{p}{a}{n}{s}{t}{y}\le=\text{font-style: italic}\gt{e}\le{m}{e}{n}\to\ne{u}{t}{r}{o}\frac{\lt}{{s}}{p}{a}{n}\gt{d}{i}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le{e}{l}{{l}}^{{1}}\right)}{r}{i}{s}{p}{e}{\mathtt{{o}}}{a}{\left({d}{i}{s}{p}{l}{a}{y}{s}{t}{y}\le\cdot\right)}.\frac{\lt}{\div}\gt\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{A}{d}{o}{g{{n}}}{i}\text{mod}{o},{l}{a}{q}{u}{e}{s}{t}{i}{o}\ne{h}{a}{m}{o}\lt{i}\più{r}{i}{s}{v}{o}\lt{i}{a}{n}{a}{l}{i}{t}{i}{c}{i}{c}{h}{e}{a}{l}\ge{b}{r}{i}{c}{i}.\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}\lt{b}\frac{{r}}{\gt}{P}.{S}.:{I}{n}{M}{a}{t}{h}{M}{L}{l}'{a}{s}{t}{e}{r}{i}{s}{c}{o}{p}{e}{r}{l}{a}{c}{o}{n}{v}{o}{l}{u}{z}{i}{o}\ne{s}{i}{f{{a}}}{c}{o}{n}\ \)**$ (che produce \( \displaystyle \star \)).
P.P.S.: Che libro stai leggendo? Se fosse qualcosa che ho sotto mano, potrei esserti più d'aiuto...

[Lorra]

No, dispongo solo di uno scientifico P.N.I. con buoni voti di mat. e fisica (9) e 2 esami e mezzo di matematica (mat. I (10cfu), mat. II (9cfu) e mat. III (10cfu) (metà (5cfu)perché l'altra metà era meccanica razionale, quindi si trattava un po' di altro)).
C'è un errore in quello che ho scritto: a primo membro c'è \( \displaystyle {T}{\left[{x}\star\delta\right]}{\left({n}\right)} \) non \( \displaystyle {T}{\left[{x}\star\delta\right]}{\left({k}\right)} \). Tutto quello che so di analisi funzionale è quello che riesco a immaginare dalle relazioni che vedo quando mi sembrano vere (tipo trasf. di Fourier (per funzioni di var. reale)) pensando a qualche estensione del tutto particolare del caso di applicazioni lineari fra spazi vettoriali di dimensione finita.
Il "libro" sono le dispense di elaborazione numerica dei segnali che sono un riassunto di un testo famoso, l'Oppenheim / Schafer di cui esiste una traduzione italiana pubblicata da Franco Angeli. Il titolo è "Elaborazione numerica dei segnali", io leggo la decima edizione che penso sia identica a una qualsiasi degli anni '90, ce n'è anche una molto vecchia che però mi sembra sia diversa. Le dispense sono di uno dei due traduttori: C.B., non credo che siano in rete però.

[gugo82]

Ah, sei ingegnere informatico tipo?
Comunque dell'Oppenheim/Schafer ho sotto mano una seconda edizione americana di Discrete-time signal processing, ma non trovo la relazione che citi.
Non è che le dispense sono online?

Ad ogni modo, la cosa relazione è vera se l'operatore \( \displaystyle T \) è continuo.
Infatti, si ha:

\( \displaystyle T(x*\delta)=Tx \) (perchè \( \displaystyle x*\delta =x \) )
\( \displaystyle =T\left( \lim_m \sum_{n=-m}^mx_n\ \text{e}^n\right) \) (perchè \( \displaystyle x=\lim_m \sum_{n=-m}^m x_n\ \text{e}^n \) )
\( \displaystyle =\lim_m T\left( \sum_{n=-m}^m x_n\ \text{e}^n\right) \) (perchè \( \displaystyle T \) è continuo)
\( \displaystyle =\lim_m \sum_{n=-m}^m x_n\ T\text{e}^n \) (perchè \( \displaystyle T \) è lineare)
\( \displaystyle =\sum_{n=-\infty}^{+\infty} x_n\ T\text{e}^n \) (perchè \( \displaystyle T \) è limitato: infatti \( \displaystyle \sum_{n=-m}^m |x_n|\ \lVert T\text{e}^n \rVert_1 \leq \sum_{n=-m}^m |x_1|\ C\ \lVert \text{e}^n\rVert_1 \leq C\ \lVert x\rVert_1 \) , sicché la serie converge in norma)

che scritto nel tuo formalismo diventa:

\( \displaystyle T(x*\delta) (n)=\sum_{k=-\infty}^{+\infty} x(k)\ T[\delta (n-k)] \)

e perciò è quello che volevi.

[Lorra]

Non ancora, neanche ingegnere triennale, ho finito il terzo anno quest'anno e non mi sono ancora laureato, ma non sono fuori corso! (Non mi sono laureato a luglio (quella sì che sarebbe stata vita!), ma secondo le parole della manager didattica "è normale laurearsi a dicembre" ...).
Purtroppo le dispense non sono online.
Direi che ho abbastanza su cui pensare per il momento, grazie molte! E' interessante, spero di riuscire a trasportare quello che dici nell'interpretazione delle materie tecniche dove si parla di "sistemi lineari", ma con tutte le questioni di realizzabilità fisica, causalità e convenzioni annesse.

[Lorra]

Non si assume la continuità o la limitatezza, quello che leggo è un testo ingegneristico e non ne parla neppure. Dice (ed è qui che non capivo proprio) che la relazione fonte di questa discussione è valida solo per la linearità. Ora stavo cercando di capire come diavolo si può fare su un oggetto fisico a dire che realizza una \( \displaystyle {T} \) che è continua. \( \displaystyle {T} \) lineare si capisce, ma \( \displaystyle {T} \) continua??

[Lorra]

Bah...

[Lorra]

Intendo come si fa a dire che un oggetto si comporta associando sequenze secondo una \( \displaystyle {T} \) che è continua e quindi a darlo sempre per scontato (e non parlarne neanche forse secondo un uso tipico degli ingegneri)?

[luca.barletta]

Sicuro che il testo non parli nemmeno di BIBO-stabilità?

[Lorra]

Dice cos'è la stabilità BIBO, ma la introduce dopo aver parlato di questa relazione e non ne parla quando dice che \( \displaystyle {T} \) è completamente specificata da \( \displaystyle {T}{\left[\delta{\left({n}-{k}\right)}\right]} \) , \( \displaystyle -\infty\lt{k}\lt+\infty \). Anzi usa questa relazione nel seguito per dire che un sistema lineare invariante alle traslazioni è stabile BIBO se e solo se \( \displaystyle {\sum_{{{k}=-\infty}}^{{\infty}}}{\left|{h}{\left({k}\right)}\right|}\lt\infty \).
\( \displaystyle {h}{\left({n}\right)} \) è la sequenza dei trasformati degli impulsi unitari centrati in \( \displaystyle {n} \).