λ
,
π
{\displaystyle \ \lambda ,\pi }
σ
{\displaystyle \ \sigma }
"אם
E
⊆
L
{\displaystyle \ {\mathcal {E}}\subseteq {\mathcal {L}}}
λ
(
L
)
=
L
,
π
(
E
)
=
E
{\displaystyle \ \lambda ({\mathcal {L}})={\mathcal {L}},\quad \pi ({\mathcal {E}})={\mathcal {E}}}
σ
(
E
)
⊆
L
{\displaystyle \ \sigma ({\mathcal {E}})\subseteq {\mathcal {L}}}
אני מציע גרסה פשוטה יותר:
"לכל מערכת
E
{\displaystyle \ {\mathcal {E}}}
σ
(
E
)
=
λ
(
π
(
E
)
)
{\displaystyle \ \sigma ({\mathcal {E}})=\lambda (\pi ({\mathcal {E}}))}
הגרסה הזו מספיקה, משום שעכשיו אם מתקיימות הנחות המשפט אז
σ
(
E
)
=
λ
(
π
(
E
)
)
=
λ
(
E
)
)
⊆
λ
(
L
)
=
L
{\displaystyle \ \sigma ({\mathcal {E}})=\lambda (\pi ({\mathcal {E}}))=\lambda ({\mathcal {E}}))\subseteq \lambda ({\mathcal {L}})={\mathcal {L}}}
L
=
λ
(
E
)
{\displaystyle \ {\mathcal {L}}=\lambda ({\mathcal {E}})}
π
(
E
)
=
E
{\displaystyle \ \pi ({\mathcal {E}})={\mathcal {E}}}
σ
(
E
)
⊆
λ
(
E
)
{\displaystyle \ \sigma ({\mathcal {E}})\subseteq \lambda ({\mathcal {E}})}
E
=
π
(
D
)
{\displaystyle \ {\mathcal {E}}=\pi ({\mathcal {D}})}
D
{\displaystyle \ {\mathcal {D}}}
σ
(
D
)
=
σ
(
π
(
D
)
)
⊆
λ
(
π
(
D
)
)
{\displaystyle \ \sigma ({\mathcal {D}})=\sigma (\pi ({\mathcal {D}}))\subseteq \lambda (\pi ({\mathcal {D}}))}
σ
∘
π
=
σ
{\displaystyle \ \sigma \circ \pi =\sigma }
עוזי ו. - שיחה 23:53, 24 בפברואר 2015 (IST) תגובה
π
{\displaystyle \pi }
Redbrave - שיחה 12:55, 26 בפברואר 2015 (IST) תגובה
