Wp/prg/Kōns

Kōns - en funkciōnalai analīzin emperōninsenis stesse kōnan iz stereōmetrijan.

Definiciōni

Auwertā tūlisku $K$ stesses reālin, līniskai topolōgiskan plattibin $X$ ast bilītan kōns ik izpilnina zemmaisins audaīrans:

• $\mathrm{\forall }x\in K,\mathrm{\forall }\alpha \in {ℝ}_{+}\alpha x\in K$ (elāmentan x perlānke prei K ēmpiri sen pastippan pusistrīlin generītan prō sin)
• $\mathrm{\forall }x,y\in Kx+y\in K$ (auktummisku)
• $span\{K\}=X$ ($K$ segga pastippan plattibin $X$ - pilnisku)
• $x\in K\wedge -x\in K⟹x=0$ (ni ast līnija en $K$ - punktisku)

Tūliskwai kawīdai ni turri panzdauman swajjistan (kawīdai ni wanginna si sen punktan adder sen tūls ermattawingin krakstan) ast bilītan per waggins. Mazīngi dīgi empirīntun definiciōnin imāntei plattibin kīrsa ainuntkawīdan kittan rikaūtan kērmenin.

Rīka en plattibei dātan pra kōnan

Eraīns kōns en plattibei $X$ definīja stwen delīkiskas rīkas relaciōnin:

$y{\ge }_{K}x⟺y-x\in K$

Ik $K$ ast tēr waggis, staddan šī relaciōni ast tēr prarikā.

Perwaidīnsnas

• Tūlisku ${ℝ}_{+}\cup \{0\}$ ast kōns en plattibei $ℝ$ be definijja stwen standartiskan rīkan.
• Tūlisku $({ℝ}_{+}\cup \{0\}{)}^n$ ast kōns en plattibei ${ℝ}^n$ be definijja stwen delīkiskan rīkan:

$(y_1,\dots ,y_n)\ge (x_1,\dots ,x_n)⟺\mathrm{\forall }i\in \{1,\dots ,n\}{y}_i\ge x_i$

• Tūlisku ${ℬ}_{+}(Y)$ stēisan pōzitiwan ōperatōran kīrsa kōmplaksiskan līniskan plattibin $Y$ ast kōns en reālai plattibin ${ℬ}_{+}(Y)$ wisēisan hermitiskan ōperatōran. Šis kōns definīja rīkan en ${ℬ}_{+}(Y)$:

$A\ge B⟺A-B$ ast pōzitiws ōperatōrs.

Kōnai en kwāntiskai mekānikin

Ukaswarewīngeisis tūliskwas en kwāntiskai mekānikin ast kōnai:

• Kōns stēisan ninōrmintan kwāntiskan stānin: ${𝒮}_{+}(\mathscr{H})\subset {ℬ}_H^{*}(\mathscr{H})$, kwēi $\mathscr{H}$ ast sistēmas Hilbertas plattibi.
• Kōns stēisan ninōrmitan separāminan kwāntiskan stānin: ${𝒮}_1({\mathscr{H}}_A\otimes {\mathscr{H}}_B)\subset {ℬ}_H^{*}({\mathscr{H}}_A\otimes {\mathscr{H}}_B)$, kwēi ${\mathscr{H}}_A$, ${\mathscr{H}}_B$ ast Hilbertas plattibis stesse pirman be āntran pōsisteman.
• Kōns stēisan serazgīsnas wīdikan: ${𝒲}_1({\mathscr{H}}_A\otimes {\mathscr{H}}_B)\subset {ℬ}_H({\mathscr{H}}_A\otimes {\mathscr{H}}_B)$.