Составители:
Рубрика:
B ∈ Ob(C) Z ⊂ A × B
π
B
(Z) ⊂ B b ∈ B − π
B
(Z).
a ∈ A (a, b) /∈ Z.
(a, b) ∈ A × B U
a
× V
b
Z ⊂ A × B A = ∪
a∈A
U
a
,
A U
a
1
, . . . , U
a
r
.
∩
r
i=1
V
b
i
V
b
. b ∈ ∩
r
i=1
V
b
i
, ∩
r
i=1
V
b
i
B ∩
r
i=1
V
b
i
⊂
B − π
B
(Z).
∃b
0
∈ (∩
r
i=1
V
b
i
) ∩ π
B
(Z) b
0
∈ π
B
(Z)
∃a
0
∈ A (a
0
, b
0
) ∈ Z. U
a
1
, . . . , U
a
r
A
k, 1 ≤ k ≤ r a
0
∈ U
a
k
. b
0
∈ ∩
r
i=1
V
b
i
b
0
∈ V
b
k
.
(a
0
, b
0
) ∈ (U
a
k
×V
b
k
)∩Z ⇒
b ∈ B − π
B
(Z) B
π
B
(Z), π
B
(Z) B.
C
C
C
B ∈
Ob(C) B ⊇ V
1
⊇
V
2
⊇ . . . V A ∈ Ob(C)
A
A ∈ Ob(C)
A = ∪
λ∈Λ
U
λ
A = ∪
∞
n=1
U
λ
n
A
A = ∪
∞
n=1
U
λ
n
W
n
:= U
λ
1
∪ . . . ∪ U
λ
n
. A × B B
∪
∞
n=1
W
n
× V
n
⊂ A × B V
n
Z
A × B. π
B
(Z) = B − V V = ∩
∞
i=1
V
i
Z
V B − V
A
Страницы
- « первая
- ‹ предыдущая
- …
- 41
- 42
- 43
- 44
- 45
- …
- следующая ›
- последняя »
