Стягиваемое конечное пространство с покрытием из двух открытых множеств и постоянный пучок Z/2. Чему равна первая когомология Чеха и что модель отвечает на предъявленное ей предположение о порядке 2?
На стягиваемом конечном пространстве Ȟ¹(X, Z/2) имеет порядок 1 и размерность 0 над полем из двух элементов: нетривиальных классов нет. Предположение о порядке 2 не подтверждено и не опровергнуто: модель считает порядок сама и не высказывается о чужом значении. Всё считается из точек пространства и значений функций на покрытии: сечениями признаны локально постоянные функции, согласованные пары пересчитаны, и порядок получен из равенства |Ȟ¹| · |F(U₁₂)| = |F(U₁)| · |F(U₂)| · |Ȟ⁰|.
≋Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.
— конечное пространство с топологией специализации (Александрова): открытые подмножества — в точности устойчивые под генерализацией
x: x
предъявлено как подмножество (возможно, пустое) для проверки открытости
u
x
U1
x
U2
x
W
x
X
x
точка принадлежит
p
x
a
x
b
x
c
x
0061: — есть специализация , — генерализация : ∈ замыканию
g
p
c
a
c
b
точка лежит в подмножестве
u
p
U1
a
U1
c
U2
b
U2
c
W
c
X
a
X
b
X
c
покрытие нацелено на : его члены предложены как покрытие
c: covu: X
— член покрытия
c
ui
cov
U1
cov
U2
01FI: — первый член в полном упорядочении покрытия
c: covu: U1
01FI: — второй член в полном упорядочении покрытия
c: covu: U2
— постоянный пучок : сечения над — локально постоянные отображения
f: Fx: x
кандидат — функция на точках
s: fn-U1-00u: U1
функция принимает значение в точке
s
p
v
fn-U1-00
a
0
fn-U1-00
c
0
кандидат — функция на точках
s: fn-U1-01u: U1
функция принимает значение в точке
s
p
v
fn-U1-01
a
0
fn-U1-01
c
1
кандидат — функция на точках
s: fn-U1-10u: U1
функция принимает значение в точке
s
p
v
fn-U1-10
a
1
fn-U1-10
c
0
кандидат — функция на точках
s: fn-U1-11u: U1
функция принимает значение в точке
s
p
v
fn-U1-11
a
1
fn-U1-11
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: U1
кандидат — функция на точках
s: fn-U2-00u: U2
функция принимает значение в точке
s
p
v
fn-U2-00
b
0
fn-U2-00
c
0
кандидат — функция на точках
s: fn-U2-01u: U2
функция принимает значение в точке
s
p
v
fn-U2-01
b
0
fn-U2-01
c
1
кандидат — функция на точках
s: fn-U2-10u: U2
функция принимает значение в точке
s
p
v
fn-U2-10
b
1
fn-U2-10
c
0
кандидат — функция на точках
s: fn-U2-11u: U2
функция принимает значение в точке
s
p
v
fn-U2-11
b
1
fn-U2-11
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: U2
кандидат — функция на точках
s: fn-W-0u: W
функция принимает значение в точке
s: fn-W-0p: cv: 0
кандидат — функция на точках
s: fn-W-1u: W
функция принимает значение в точке
s: fn-W-1p: cv: 1
всякая функция предъявлена кандидатом в сечения над
f: Fu: W
кандидат — функция на точках
s: fn-X-000u: X
функция принимает значение в точке
s
p
v
fn-X-000
a
0
fn-X-000
b
0
fn-X-000
c
0
кандидат — функция на точках
s: fn-X-001u: X
функция принимает значение в точке
s
p
v
fn-X-001
a
0
fn-X-001
b
0
fn-X-001
c
1
кандидат — функция на точках
s: fn-X-010u: X
функция принимает значение в точке
s
p
v
fn-X-010
a
0
fn-X-010
b
1
fn-X-010
c
0
кандидат — функция на точках
s: fn-X-011u: X
функция принимает значение в точке
s
p
v
fn-X-011
a
0
fn-X-011
b
1
fn-X-011
c
1
кандидат — функция на точках
s: fn-X-100u: X
функция принимает значение в точке
s
p
v
fn-X-100
a
1
fn-X-100
b
0
fn-X-100
c
0
кандидат — функция на точках
s: fn-X-101u: X
функция принимает значение в точке
s
p
v
fn-X-101
a
1
fn-X-101
b
0
fn-X-101
c
1
кандидат — функция на точках
s: fn-X-110u: X
функция принимает значение в точке
s
p
v
fn-X-110
a
1
fn-X-110
b
1
fn-X-110
c
0
кандидат — функция на точках
s: fn-X-111u: X
функция принимает значение в точке
s
p
v
fn-X-111
a
1
fn-X-111
b
1
fn-X-111
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: X
Пакет: Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U2-00; u: urn:case:stacks:cech:U2
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U2-11; u: urn:case:stacks:cech:U2
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-W-0; u: urn:case:stacks:cech:W
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-W-1; u: urn:case:stacks:cech:W
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U1-11; u: urn:case:stacks:cech:U1
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U1-00; u: urn:case:stacks:cech:U1
01FI, : пара — 0-коцикл, когда обе ограничиваются в одно сечение над
01FI: лежит в : и согласованы на : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; s1: urn:case:stacks:cech:fn-U1-11; s2: urn:case:stacks:cech:fn-U2-11
тег 01FI, тег 01EF
Идентификатор
urn:stacks:clir:sheaf-cohomology#CompatiblePair
правило
69
006E: при ограничение на — функция на , совпадающая с в каждой точке
, ограничение на : s: urn:case:stacks:cech:fn-U1-00; v: urn:case:stacks:cech:W; t: urn:case:stacks:cech:fn-W-0
01FI, : пара — 0-коцикл, когда обе ограничиваются в одно сечение над
01FI: лежит в : и согласованы на : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; s1: urn:case:stacks:cech:fn-U1-00; s2: urn:case:stacks:cech:fn-U2-00
тег 01FI, тег 01EF
Идентификатор
urn:stacks:clir:sheaf-cohomology#CompatiblePair
правило
71
01EF: ; его порядок — число пар , согласованных на
01EF с 01FI: над полем и , потому порядок группы удовлетворяет
01EF: для двучленного покрытия: , потому и : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; n: 1
тег 01EF, тег 01FI, тег 01FM
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH1Order
правило
74
Вычисление запроса
запрос
проверено движком: 37 · факт дела: 36 · происхождение не записано: 1 · Полный граф: 574 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
две функции согласованы в точке, когда их значения там совпадают
Идентификатор
urn:stacks:clir:sheaf-cohomology#AgreeAtPoint
01FI: порядок — произведение порядков и , все функции предъявлены
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechC0Order
01FI: порядок — порядок , все функции предъявлены
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechC1Order
01EF: ; его порядок — число пар , согласованных на
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH0Order
01EF с 01FI: над полем и , потому порядок группы удовлетворяет
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH1Order
01FI, : пара — 0-коцикл, когда обе ограничиваются в одно сечение над
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
01EG на покрытии : при всех предъявленных функциях на
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
If then we say is a specialization of ,
or is a generalization of if .
Notation: .
A subset is stable under specialization if for all and every specialization we have .
A subset is stable under generalization if for all and every generalization we have .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:9bf62fa9de5f46cfcbefb534e889ce088952a428b4991bf8fb33c2d3d212d9a3","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_TOPOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_0061","kind":"fragment","locator":"tag/0061","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:1d6ee8a1b98bc09677428df262ad2123d411e5bb168e3ac20a1c67cb0dd9d0a5","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-specialization}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item If $x, x' \\in X$ then we say $x$ is a {\\it specialization} of $x'$,\nor $x'$ is a {\\it generalization} of $x$ if $x \\in \\overline{\\{x'\\}}$.\nNotation: $x' \\leadsto x$.\n\\item A subset $T \\subset X$ is {\\it stable under specialization}\nif for all $x' \\in T$ and every specialization $x' \\leadsto x$ we have\n$x \\in T$.\n\\item A subset $T \\subset X$ is {\\it stable under generalization}\nif for all $x \\in T$ and every generalization $x' \\leadsto x$ we have\n$x' \\in T$.\n\\end{enumerate}\n\\end{definition}"}]}
tag/0062
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Any closed subset of is stable under specialization.
Any open subset of is stable under generalization.
A subset is stable under specialization
if and only if
the complement is stable under generalization.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:72a4516ed2a111a21ce235698e7b70959c091ee1e696331bfa395377c0199cd0","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_TOPOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_0062","kind":"fragment","locator":"tag/0062","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:881627a4bc7da511bfc2e3d7cd01f971abb8e2f72ae02f0a295a59b98de782f8","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-open-closed-specialization}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item Any closed subset of $X$ is stable under specialization.\n\\item Any open subset of $X$ is stable under generalization.\n\\item A subset $T \\subset X$ is stable under specialization\nif and only if\nthe complement $T^c$ is stable under generalization.\n\\end{enumerate}\n\\end{lemma}"}]}
tag/006E
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
A presheaf of sets on is a rule which
assigns to each open a set and
to each inclusion a map such that and
whenever we have .
A morphism of presheaves of sets on is a rule which assigns to each
open a map of sets compatible with restriction maps,
i.e., whenever are open the
diagram
The category of presheaves of sets on will be denoted .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:5940ad0150140fcc429bfcb66cf91e0303638f57e88332528ed64e0204a1cc00","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_SHEAVES_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_006E","kind":"fragment","locator":"tag/006E","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:e728b50fec00b5a51ffd85b7518d87d42e03d9b363884124cfca05a3aa077563","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-presheaf}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item A {\\it presheaf $\\mathcal{F}$ of sets on $X$} is a rule which\nassigns to each open $U \\subset X$ a set $\\mathcal{F}(U)$ and\nto each inclusion $V \\subset U$ a map\n$\\rho^U_V : \\mathcal{F}(U) \\to \\mathcal{F}(V)$ such that\n$\\rho^U_U = \\text{id}_{\\mathcal{F}(U)}$ and\nwhenever $W \\subset V \\subset U$ we have\n$\\rho^U_W = \\rho^V_W \\circ \\rho ^U_V$.\n\\item A {\\it morphism $\\varphi : \\mathcal{F} \\to \\mathcal{G}$\nof presheaves of sets on $X$} is a rule which assigns to each\nopen $U \\subset X$ a map of sets $\\varphi : \\mathcal{F}(U)\n\\to \\mathcal{G}(U)$ compatible with restriction maps,\ni.e., whenever $V \\subset U \\subset X$ are open the\ndiagram\n$$\n\\xymatrix{\n\\mathcal{F}(U) \\ar[r]^\\varphi \\ar[d]^{\\rho^U_V} &\n\\mathcal{G}(U) \\ar[d]^{\\rho^U_V} \\\\\n\\mathcal{F}(V) \\ar[r]^\\varphi & \\mathcal{G}(V)\n}\n$$\ncommutes.\n\\item The category of presheaves of sets on $X$ will be denoted\n$\\textit{PSh}(X)$.\n\\end{enumerate}\n\\end{definition}"}]}
tag/006W
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space. Let be a set.
The constant sheaf with value denoted , or is the sheaf that assigns to an open the set of all locally constant maps with restriction mappings
given by restrictions of functions.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:e15b670cf8eaecb2e9774da8a00edf1ff814ee1bfb132f1eb75f8f353d5ac661","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_SHEAVES_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_006W","kind":"fragment","locator":"tag/006W","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:dd05660d523049b43c908e00357b644b49aecdc06ba7eb53adb2c325e626e2c3","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-constant-sheaf}\nLet $X$ be a topological space. Let $A$ be a set.\nThe {\\it constant sheaf with value $A$} denoted $\\underline{A}$, or\n$\\underline{A}_X$ is the sheaf that assigns to an open $U \\subset X$\nthe set of all locally constant maps $U \\to A$ with restriction mappings\ngiven by restrictions of functions.\n\\end{definition}"}]}
tag/01EF
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Let be an abelian presheaf on .
The complex is the {\v C}ech complex associated to and the
open covering . Its cohomology groups are
called the {\v C}ech cohomology groups associated to and the covering .
They are denoted .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:44ca688f1b371dc408a7186efb3a770de31e5cf542f3b48926b9929642de76de","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_01EF","kind":"fragment","locator":"tag/01EF","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:95b540b6925fdab8fa3a53def4a39d102181a21ef47fcce25d076b6a97bc0b1a","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-cech-complex}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe complex $\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis the {\\it {\\v C}ech complex} associated to $\\mathcal{F}$ and the\nopen covering $\\mathcal{U}$. Its cohomology groups\n$H^i(\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F}))$ are\ncalled the {\\it {\\v C}ech cohomology groups} associated to\n$\\mathcal{F}$ and the covering $\\mathcal{U}$.\nThey are denoted $\\check H^i(\\mathcal{U}, \\mathcal{F})$.\n\\end{definition}"}]}
tag/01EG
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an abelian presheaf on .
The following are equivalent
is an abelian sheaf and
for every open covering the natural map
is bijective.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:32257319184ae0e9c5584919035ad193c88002f0f7ce4eded08cfa8acbb48f20","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_01EG","kind":"fragment","locator":"tag/01EG","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:4c5b22ab222601aaae95952557fde5950661f40d81749b9bb69b4a8f61ff6108","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-cech-h0}\nLet $X$ be a topological space.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe following are equivalent\n\\begin{enumerate}\n\\item $\\mathcal{F}$ is an abelian sheaf and\n\\item for every open covering $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$\nthe natural map\n$$\n\\mathcal{F}(U) \\to \\check{H}^0(\\mathcal{U}, \\mathcal{F})\n$$\nis bijective.\n\\end{enumerate}\n\\end{lemma}"}]}
tag/01FI
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Assume given a total ordering on .
Let be an abelian presheaf on .
The complex is the ordered {\v C}ech complex associated to , the
open covering and the given total ordering on .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:100a796ac383e4193e5e93c36072f00b3cbdec059858ee798aa6bb02c78c3997","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_01FI","kind":"fragment","locator":"tag/01FI","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:4dbf509c03629779d780d60d6502aae3001874670f84eb6bc4cd9e0dab533882","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-ordered-cech-complex}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nAssume given a total ordering on $I$.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe complex $\\check{\\mathcal{C}}_{ord}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis the {\\it ordered {\\v C}ech complex} associated to $\\mathcal{F}$, the\nopen covering $\\mathcal{U}$ and the given total ordering on $I$.\n\\end{definition}"}]}
tag/01FM
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Assume comes equipped with a total ordering.
The map is homotopic to the identity on .
In particular the inclusion map is a homotopy equivalence.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:13ee1524e1e1e43409a1fb17733206a93162331f710fb544c8218b6036a284e1","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_01FM","kind":"fragment","locator":"tag/01FM","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:783d414a41461bccfb07b242a527657ee8fda1055c33a6ef41abf92ee925f966","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-alternating-usual}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nAssume $I$ comes equipped with a total ordering.\nThe map $c \\circ \\pi$ is homotopic to the identity on\n$\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$.\nIn particular the inclusion map\n$\\check{\\mathcal{C}}_{alt}^\\bullet(\\mathcal{U}, \\mathcal{F}) \\to\n\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis a homotopy equivalence.\n\\end{lemma}"}]}
Пакеты в снимке
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
⌘Технические данныеПолный ответ, параметры и контрольные суммы⌄
{"acts":[{"contributed":true,"fragmentCount":26,"fragments":["urn:stacks:clir:sheaf-cohomology#ST_0061","urn:stacks:clir:sheaf-cohomology#ST_0062","urn:stacks:clir:sheaf-cohomology#ST_006E","urn:stacks:clir:sheaf-cohomology#ST_006W","urn:stacks:clir:sheaf-cohomology#ST_01EF","urn:stacks:clir:sheaf-cohomology#ST_01EG","urn:stacks:clir:sheaf-cohomology#ST_01FI","urn:stacks:clir:sheaf-cohomology#ST_01FM"],"jurisdiction":"none","namespace":"urn:stacks:clir:sheaf-cohomology","package":"stacks-sheaf-cohomology","title":"Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:270b4827fc6bf098dfe36c67e591ed262b268866576a1f4e2b2e97bf2fe040dd","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:6b62eb59e903172fce7cc3ce1a8e29b1fbfc4c6808acc817493c98a07cd7e74e","resultHash":"sha256:db189417a48ff8795e45ef4514f775650df797ccd17afd6cb9c88cce46719d51","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"}
— конечное пространство с топологией специализации (Александрова): открытые подмножества — в точности устойчивые под генерализацией
x: x
предъявлено как подмножество (возможно, пустое) для проверки открытости
u
x
U1
x
U2
x
W
x
X
x
точка принадлежит
p
x
a
x
b
x
c
x
0061: — есть специализация , — генерализация : ∈ замыканию
g
p
c
a
c
b
точка лежит в подмножестве
u
p
U1
a
U1
c
U2
b
U2
c
W
c
X
a
X
b
X
c
покрытие нацелено на : его члены предложены как покрытие
c: covu: X
— член покрытия
c
ui
cov
U1
cov
U2
01FI: — первый член в полном упорядочении покрытия
c: covu: U1
01FI: — второй член в полном упорядочении покрытия
c: covu: U2
— постоянный пучок : сечения над — локально постоянные отображения
f: Fx: x
кандидат — функция на точках
s: fn-U1-00u: U1
функция принимает значение в точке
s
p
v
fn-U1-00
a
0
fn-U1-00
c
0
кандидат — функция на точках
s: fn-U1-01u: U1
функция принимает значение в точке
s
p
v
fn-U1-01
a
0
fn-U1-01
c
1
кандидат — функция на точках
s: fn-U1-10u: U1
функция принимает значение в точке
s
p
v
fn-U1-10
a
1
fn-U1-10
c
0
кандидат — функция на точках
s: fn-U1-11u: U1
функция принимает значение в точке
s
p
v
fn-U1-11
a
1
fn-U1-11
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: U1
кандидат — функция на точках
s: fn-U2-00u: U2
функция принимает значение в точке
s
p
v
fn-U2-00
b
0
fn-U2-00
c
0
кандидат — функция на точках
s: fn-U2-01u: U2
функция принимает значение в точке
s
p
v
fn-U2-01
b
0
fn-U2-01
c
1
кандидат — функция на точках
s: fn-U2-10u: U2
функция принимает значение в точке
s
p
v
fn-U2-10
b
1
fn-U2-10
c
0
кандидат — функция на точках
s: fn-U2-11u: U2
функция принимает значение в точке
s
p
v
fn-U2-11
b
1
fn-U2-11
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: U2
кандидат — функция на точках
s: fn-W-0u: W
функция принимает значение в точке
s: fn-W-0p: cv: 0
кандидат — функция на точках
s: fn-W-1u: W
функция принимает значение в точке
s: fn-W-1p: cv: 1
всякая функция предъявлена кандидатом в сечения над
f: Fu: W
кандидат — функция на точках
s: fn-X-000u: X
функция принимает значение в точке
s
p
v
fn-X-000
a
0
fn-X-000
b
0
fn-X-000
c
0
кандидат — функция на точках
s: fn-X-001u: X
функция принимает значение в точке
s
p
v
fn-X-001
a
0
fn-X-001
b
0
fn-X-001
c
1
кандидат — функция на точках
s: fn-X-010u: X
функция принимает значение в точке
s
p
v
fn-X-010
a
0
fn-X-010
b
1
fn-X-010
c
0
кандидат — функция на точках
s: fn-X-011u: X
функция принимает значение в точке
s
p
v
fn-X-011
a
0
fn-X-011
b
1
fn-X-011
c
1
кандидат — функция на точках
s: fn-X-100u: X
функция принимает значение в точке
s
p
v
fn-X-100
a
1
fn-X-100
b
0
fn-X-100
c
0
кандидат — функция на точках
s: fn-X-101u: X
функция принимает значение в точке
s
p
v
fn-X-101
a
1
fn-X-101
b
0
fn-X-101
c
1
кандидат — функция на точках
s: fn-X-110u: X
функция принимает значение в точке
s
p
v
fn-X-110
a
1
fn-X-110
b
1
fn-X-110
c
0
кандидат — функция на точках
s: fn-X-111u: X
функция принимает значение в точке
s
p
v
fn-X-111
a
1
fn-X-111
b
1
fn-X-111
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: X
Пакет: Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U2-00; u: urn:case:stacks:cech:U2
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U2-11; u: urn:case:stacks:cech:U2
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-W-0; u: urn:case:stacks:cech:W
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-W-1; u: urn:case:stacks:cech:W
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U1-11; u: urn:case:stacks:cech:U1
006W с 0061: функция на локально постоянна, когда для всякой точки из и всякой генерализации точки в
006W: функция на локально постоянна: постоянна вдоль всякой генерализации внутри , то есть на компонентах связности: s: urn:case:stacks:cech:fn-U1-00; u: urn:case:stacks:cech:U1
01FI, : пара — 0-коцикл, когда обе ограничиваются в одно сечение над
01FI: лежит в : и согласованы на : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; s1: urn:case:stacks:cech:fn-U1-11; s2: urn:case:stacks:cech:fn-U2-11
тег 01FI, тег 01EF
Идентификатор
urn:stacks:clir:sheaf-cohomology#CompatiblePair
правило
69
006E: при ограничение на — функция на , совпадающая с в каждой точке
, ограничение на : s: urn:case:stacks:cech:fn-U1-00; v: urn:case:stacks:cech:W; t: urn:case:stacks:cech:fn-W-0
01FI, : пара — 0-коцикл, когда обе ограничиваются в одно сечение над
01FI: лежит в : и согласованы на : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; s1: urn:case:stacks:cech:fn-U1-00; s2: urn:case:stacks:cech:fn-U2-00
тег 01FI, тег 01EF
Идентификатор
urn:stacks:clir:sheaf-cohomology#CompatiblePair
правило
71
01EF: ; его порядок — число пар , согласованных на
01EF с 01FI: над полем и , потому порядок группы удовлетворяет
01EF: для двучленного покрытия: , потому и : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; n: 1
тег 01EF, тег 01FI, тег 01FM
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH1Order
правило
74
-размерность — показатель её порядка
, то есть : f: urn:case:stacks:cech:F; c: urn:case:stacks:cech:cov; k: 0
тег 01EF
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH1Dimension
правило
75
Вычисление запроса
запрос
проверено движком: 38 · факт дела: 36 · происхождение не записано: 1 · Полный граф: 574 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
две функции согласованы в точке, когда их значения там совпадают
Идентификатор
urn:stacks:clir:sheaf-cohomology#AgreeAtPoint
01FI: порядок — произведение порядков и , все функции предъявлены
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechC0Order
01FI: порядок — порядок , все функции предъявлены
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechC1Order
01EF: ; его порядок — число пар , согласованных на
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH0Order
-размерность — показатель её порядка
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH1Dimension
01EF с 01FI: над полем и , потому порядок группы удовлетворяет
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechH1Order
01FI, : пара — 0-коцикл, когда обе ограничиваются в одно сечение над
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
01EG на покрытии : при всех предъявленных функциях на
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
If then we say is a specialization of ,
or is a generalization of if .
Notation: .
A subset is stable under specialization if for all and every specialization we have .
A subset is stable under generalization if for all and every generalization we have .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:9bf62fa9de5f46cfcbefb534e889ce088952a428b4991bf8fb33c2d3d212d9a3","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_TOPOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_0061","kind":"fragment","locator":"tag/0061","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:1d6ee8a1b98bc09677428df262ad2123d411e5bb168e3ac20a1c67cb0dd9d0a5","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-specialization}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item If $x, x' \\in X$ then we say $x$ is a {\\it specialization} of $x'$,\nor $x'$ is a {\\it generalization} of $x$ if $x \\in \\overline{\\{x'\\}}$.\nNotation: $x' \\leadsto x$.\n\\item A subset $T \\subset X$ is {\\it stable under specialization}\nif for all $x' \\in T$ and every specialization $x' \\leadsto x$ we have\n$x \\in T$.\n\\item A subset $T \\subset X$ is {\\it stable under generalization}\nif for all $x \\in T$ and every generalization $x' \\leadsto x$ we have\n$x' \\in T$.\n\\end{enumerate}\n\\end{definition}"}]}
tag/0062
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Any closed subset of is stable under specialization.
Any open subset of is stable under generalization.
A subset is stable under specialization
if and only if
the complement is stable under generalization.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:72a4516ed2a111a21ce235698e7b70959c091ee1e696331bfa395377c0199cd0","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_TOPOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_0062","kind":"fragment","locator":"tag/0062","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:881627a4bc7da511bfc2e3d7cd01f971abb8e2f72ae02f0a295a59b98de782f8","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-open-closed-specialization}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item Any closed subset of $X$ is stable under specialization.\n\\item Any open subset of $X$ is stable under generalization.\n\\item A subset $T \\subset X$ is stable under specialization\nif and only if\nthe complement $T^c$ is stable under generalization.\n\\end{enumerate}\n\\end{lemma}"}]}
tag/006E
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
A presheaf of sets on is a rule which
assigns to each open a set and
to each inclusion a map such that and
whenever we have .
A morphism of presheaves of sets on is a rule which assigns to each
open a map of sets compatible with restriction maps,
i.e., whenever are open the
diagram
The category of presheaves of sets on will be denoted .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:5940ad0150140fcc429bfcb66cf91e0303638f57e88332528ed64e0204a1cc00","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_SHEAVES_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_006E","kind":"fragment","locator":"tag/006E","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:e728b50fec00b5a51ffd85b7518d87d42e03d9b363884124cfca05a3aa077563","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-presheaf}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item A {\\it presheaf $\\mathcal{F}$ of sets on $X$} is a rule which\nassigns to each open $U \\subset X$ a set $\\mathcal{F}(U)$ and\nto each inclusion $V \\subset U$ a map\n$\\rho^U_V : \\mathcal{F}(U) \\to \\mathcal{F}(V)$ such that\n$\\rho^U_U = \\text{id}_{\\mathcal{F}(U)}$ and\nwhenever $W \\subset V \\subset U$ we have\n$\\rho^U_W = \\rho^V_W \\circ \\rho ^U_V$.\n\\item A {\\it morphism $\\varphi : \\mathcal{F} \\to \\mathcal{G}$\nof presheaves of sets on $X$} is a rule which assigns to each\nopen $U \\subset X$ a map of sets $\\varphi : \\mathcal{F}(U)\n\\to \\mathcal{G}(U)$ compatible with restriction maps,\ni.e., whenever $V \\subset U \\subset X$ are open the\ndiagram\n$$\n\\xymatrix{\n\\mathcal{F}(U) \\ar[r]^\\varphi \\ar[d]^{\\rho^U_V} &\n\\mathcal{G}(U) \\ar[d]^{\\rho^U_V} \\\\\n\\mathcal{F}(V) \\ar[r]^\\varphi & \\mathcal{G}(V)\n}\n$$\ncommutes.\n\\item The category of presheaves of sets on $X$ will be denoted\n$\\textit{PSh}(X)$.\n\\end{enumerate}\n\\end{definition}"}]}
tag/006W
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space. Let be a set.
The constant sheaf with value denoted , or is the sheaf that assigns to an open the set of all locally constant maps with restriction mappings
given by restrictions of functions.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:e15b670cf8eaecb2e9774da8a00edf1ff814ee1bfb132f1eb75f8f353d5ac661","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_SHEAVES_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_006W","kind":"fragment","locator":"tag/006W","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:dd05660d523049b43c908e00357b644b49aecdc06ba7eb53adb2c325e626e2c3","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-constant-sheaf}\nLet $X$ be a topological space. Let $A$ be a set.\nThe {\\it constant sheaf with value $A$} denoted $\\underline{A}$, or\n$\\underline{A}_X$ is the sheaf that assigns to an open $U \\subset X$\nthe set of all locally constant maps $U \\to A$ with restriction mappings\ngiven by restrictions of functions.\n\\end{definition}"}]}
tag/01EF
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Let be an abelian presheaf on .
The complex is the {\v C}ech complex associated to and the
open covering . Its cohomology groups are
called the {\v C}ech cohomology groups associated to and the covering .
They are denoted .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:44ca688f1b371dc408a7186efb3a770de31e5cf542f3b48926b9929642de76de","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_01EF","kind":"fragment","locator":"tag/01EF","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:95b540b6925fdab8fa3a53def4a39d102181a21ef47fcce25d076b6a97bc0b1a","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-cech-complex}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe complex $\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis the {\\it {\\v C}ech complex} associated to $\\mathcal{F}$ and the\nopen covering $\\mathcal{U}$. Its cohomology groups\n$H^i(\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F}))$ are\ncalled the {\\it {\\v C}ech cohomology groups} associated to\n$\\mathcal{F}$ and the covering $\\mathcal{U}$.\nThey are denoted $\\check H^i(\\mathcal{U}, \\mathcal{F})$.\n\\end{definition}"}]}
tag/01EG
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an abelian presheaf on .
The following are equivalent
is an abelian sheaf and
for every open covering the natural map
is bijective.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:32257319184ae0e9c5584919035ad193c88002f0f7ce4eded08cfa8acbb48f20","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_01EG","kind":"fragment","locator":"tag/01EG","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:4c5b22ab222601aaae95952557fde5950661f40d81749b9bb69b4a8f61ff6108","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-cech-h0}\nLet $X$ be a topological space.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe following are equivalent\n\\begin{enumerate}\n\\item $\\mathcal{F}$ is an abelian sheaf and\n\\item for every open covering $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$\nthe natural map\n$$\n\\mathcal{F}(U) \\to \\check{H}^0(\\mathcal{U}, \\mathcal{F})\n$$\nis bijective.\n\\end{enumerate}\n\\end{lemma}"}]}
tag/01FI
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Assume given a total ordering on .
Let be an abelian presheaf on .
The complex is the ordered {\v C}ech complex associated to , the
open covering and the given total ordering on .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:100a796ac383e4193e5e93c36072f00b3cbdec059858ee798aa6bb02c78c3997","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_01FI","kind":"fragment","locator":"tag/01FI","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:4dbf509c03629779d780d60d6502aae3001874670f84eb6bc4cd9e0dab533882","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-ordered-cech-complex}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nAssume given a total ordering on $I$.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe complex $\\check{\\mathcal{C}}_{ord}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis the {\\it ordered {\\v C}ech complex} associated to $\\mathcal{F}$, the\nopen covering $\\mathcal{U}$ and the given total ordering on $I$.\n\\end{definition}"}]}
tag/01FM
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Assume comes equipped with a total ordering.
The map is homotopic to the identity on .
In particular the inclusion map is a homotopy equivalence.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:13ee1524e1e1e43409a1fb17733206a93162331f710fb544c8218b6036a284e1","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_01FM","kind":"fragment","locator":"tag/01FM","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:783d414a41461bccfb07b242a527657ee8fda1055c33a6ef41abf92ee925f966","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-alternating-usual}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nAssume $I$ comes equipped with a total ordering.\nThe map $c \\circ \\pi$ is homotopic to the identity on\n$\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$.\nIn particular the inclusion map\n$\\check{\\mathcal{C}}_{alt}^\\bullet(\\mathcal{U}, \\mathcal{F}) \\to\n\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis a homotopy equivalence.\n\\end{lemma}"}]}
Пакеты в снимке
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
⌘Технические данныеПолный ответ, параметры и контрольные суммы⌄
{"acts":[{"contributed":true,"fragmentCount":26,"fragments":["urn:stacks:clir:sheaf-cohomology#ST_0061","urn:stacks:clir:sheaf-cohomology#ST_0062","urn:stacks:clir:sheaf-cohomology#ST_006E","urn:stacks:clir:sheaf-cohomology#ST_006W","urn:stacks:clir:sheaf-cohomology#ST_01EF","urn:stacks:clir:sheaf-cohomology#ST_01EG","urn:stacks:clir:sheaf-cohomology#ST_01FI","urn:stacks:clir:sheaf-cohomology#ST_01FM"],"jurisdiction":"none","namespace":"urn:stacks:clir:sheaf-cohomology","package":"stacks-sheaf-cohomology","title":"Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:270b4827fc6bf098dfe36c67e591ed262b268866576a1f4e2b2e97bf2fe040dd","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:6b62eb59e903172fce7cc3ce1a8e29b1fbfc4c6808acc817493c98a07cd7e74e","resultHash":"sha256:3489bf58aa2fd2dbd9327115cac66cca9bb9a769e5b4e1d59496213c5e216257","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"}
Правило: 01EF with 01FI: over the field , and , so the order of satisfies
·v6 × v2 = v3 × v4DEPENDS
✓ , порядок -мерного -пространства1, 2установлено
·01FI: F, cov, v3DEPENDS
·01FI: F, cov, v2DEPENDS
·01EF: — число согласованных парF, cov, v4DEPENDS
Исходные параметры
Что определяем
01EF: для двучленного покрытия: , потому и
Fcov2
Исходные факты
— конечное пространство с топологией специализации (Александрова): открытые подмножества — в точности устойчивые под генерализацией
x: x
предъявлено как подмножество (возможно, пустое) для проверки открытости
u
x
U1
x
U2
x
W
x
X
x
точка принадлежит
p
x
a
x
b
x
c
x
0061: — есть специализация , — генерализация : ∈ замыканию
g
p
c
a
c
b
точка лежит в подмножестве
u
p
U1
a
U1
c
U2
b
U2
c
W
c
X
a
X
b
X
c
покрытие нацелено на : его члены предложены как покрытие
c: covu: X
— член покрытия
c
ui
cov
U1
cov
U2
01FI: — первый член в полном упорядочении покрытия
c: covu: U1
01FI: — второй член в полном упорядочении покрытия
c: covu: U2
— постоянный пучок : сечения над — локально постоянные отображения
f: Fx: x
кандидат — функция на точках
s: fn-U1-00u: U1
функция принимает значение в точке
s
p
v
fn-U1-00
a
0
fn-U1-00
c
0
кандидат — функция на точках
s: fn-U1-01u: U1
функция принимает значение в точке
s
p
v
fn-U1-01
a
0
fn-U1-01
c
1
кандидат — функция на точках
s: fn-U1-10u: U1
функция принимает значение в точке
s
p
v
fn-U1-10
a
1
fn-U1-10
c
0
кандидат — функция на точках
s: fn-U1-11u: U1
функция принимает значение в точке
s
p
v
fn-U1-11
a
1
fn-U1-11
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: U1
кандидат — функция на точках
s: fn-U2-00u: U2
функция принимает значение в точке
s
p
v
fn-U2-00
b
0
fn-U2-00
c
0
кандидат — функция на точках
s: fn-U2-01u: U2
функция принимает значение в точке
s
p
v
fn-U2-01
b
0
fn-U2-01
c
1
кандидат — функция на точках
s: fn-U2-10u: U2
функция принимает значение в точке
s
p
v
fn-U2-10
b
1
fn-U2-10
c
0
кандидат — функция на точках
s: fn-U2-11u: U2
функция принимает значение в точке
s
p
v
fn-U2-11
b
1
fn-U2-11
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: U2
кандидат — функция на точках
s: fn-W-0u: W
функция принимает значение в точке
s: fn-W-0p: cv: 0
кандидат — функция на точках
s: fn-W-1u: W
функция принимает значение в точке
s: fn-W-1p: cv: 1
всякая функция предъявлена кандидатом в сечения над
f: Fu: W
кандидат — функция на точках
s: fn-X-000u: X
функция принимает значение в точке
s
p
v
fn-X-000
a
0
fn-X-000
b
0
fn-X-000
c
0
кандидат — функция на точках
s: fn-X-001u: X
функция принимает значение в точке
s
p
v
fn-X-001
a
0
fn-X-001
b
0
fn-X-001
c
1
кандидат — функция на точках
s: fn-X-010u: X
функция принимает значение в точке
s
p
v
fn-X-010
a
0
fn-X-010
b
1
fn-X-010
c
0
кандидат — функция на точках
s: fn-X-011u: X
функция принимает значение в точке
s
p
v
fn-X-011
a
0
fn-X-011
b
1
fn-X-011
c
1
кандидат — функция на точках
s: fn-X-100u: X
функция принимает значение в точке
s
p
v
fn-X-100
a
1
fn-X-100
b
0
fn-X-100
c
0
кандидат — функция на точках
s: fn-X-101u: X
функция принимает значение в точке
s
p
v
fn-X-101
a
1
fn-X-101
b
0
fn-X-101
c
1
кандидат — функция на точках
s: fn-X-110u: X
функция принимает значение в точке
s
p
v
fn-X-110
a
1
fn-X-110
b
1
fn-X-110
c
0
кандидат — функция на точках
s: fn-X-111u: X
функция принимает значение в точке
s
p
v
fn-X-111
a
1
fn-X-111
b
1
fn-X-111
c
1
всякая функция предъявлена кандидатом в сечения над
f: Fu: X
Пакет: Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
§Почему такой результатПрименённые правила и условия⌄
Путь вывода1 шагов
1
Вычисление запроса
запрос
проверено движком: 1 · факт дела: 0 · Полный граф: 574 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Применённые правила16
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
две функции согласованы в точке, когда их значения там совпадают
Идентификатор
urn:stacks:clir:sheaf-cohomology#AgreeAtPoint
01FI: порядок — произведение порядков и , все функции предъявлены
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechC0Order
01FI: порядок — порядок , все функции предъявлены
Идентификатор
urn:stacks:clir:sheaf-cohomology#CechC1Order
01EG на покрытии : при всех предъявленных функциях на
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
If then we say is a specialization of ,
or is a generalization of if .
Notation: .
A subset is stable under specialization if for all and every specialization we have .
A subset is stable under generalization if for all and every generalization we have .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:9bf62fa9de5f46cfcbefb534e889ce088952a428b4991bf8fb33c2d3d212d9a3","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_TOPOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_0061","kind":"fragment","locator":"tag/0061","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:1d6ee8a1b98bc09677428df262ad2123d411e5bb168e3ac20a1c67cb0dd9d0a5","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-specialization}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item If $x, x' \\in X$ then we say $x$ is a {\\it specialization} of $x'$,\nor $x'$ is a {\\it generalization} of $x$ if $x \\in \\overline{\\{x'\\}}$.\nNotation: $x' \\leadsto x$.\n\\item A subset $T \\subset X$ is {\\it stable under specialization}\nif for all $x' \\in T$ and every specialization $x' \\leadsto x$ we have\n$x \\in T$.\n\\item A subset $T \\subset X$ is {\\it stable under generalization}\nif for all $x \\in T$ and every generalization $x' \\leadsto x$ we have\n$x' \\in T$.\n\\end{enumerate}\n\\end{definition}"}]}
tag/0062
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Any closed subset of is stable under specialization.
Any open subset of is stable under generalization.
A subset is stable under specialization
if and only if
the complement is stable under generalization.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:72a4516ed2a111a21ce235698e7b70959c091ee1e696331bfa395377c0199cd0","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_TOPOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_0062","kind":"fragment","locator":"tag/0062","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:881627a4bc7da511bfc2e3d7cd01f971abb8e2f72ae02f0a295a59b98de782f8","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-open-closed-specialization}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item Any closed subset of $X$ is stable under specialization.\n\\item Any open subset of $X$ is stable under generalization.\n\\item A subset $T \\subset X$ is stable under specialization\nif and only if\nthe complement $T^c$ is stable under generalization.\n\\end{enumerate}\n\\end{lemma}"}]}
tag/006E
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
A presheaf of sets on is a rule which
assigns to each open a set and
to each inclusion a map such that and
whenever we have .
A morphism of presheaves of sets on is a rule which assigns to each
open a map of sets compatible with restriction maps,
i.e., whenever are open the
diagram
The category of presheaves of sets on will be denoted .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:5940ad0150140fcc429bfcb66cf91e0303638f57e88332528ed64e0204a1cc00","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_SHEAVES_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_006E","kind":"fragment","locator":"tag/006E","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:e728b50fec00b5a51ffd85b7518d87d42e03d9b363884124cfca05a3aa077563","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-presheaf}\nLet $X$ be a topological space.\n\\begin{enumerate}\n\\item A {\\it presheaf $\\mathcal{F}$ of sets on $X$} is a rule which\nassigns to each open $U \\subset X$ a set $\\mathcal{F}(U)$ and\nto each inclusion $V \\subset U$ a map\n$\\rho^U_V : \\mathcal{F}(U) \\to \\mathcal{F}(V)$ such that\n$\\rho^U_U = \\text{id}_{\\mathcal{F}(U)}$ and\nwhenever $W \\subset V \\subset U$ we have\n$\\rho^U_W = \\rho^V_W \\circ \\rho ^U_V$.\n\\item A {\\it morphism $\\varphi : \\mathcal{F} \\to \\mathcal{G}$\nof presheaves of sets on $X$} is a rule which assigns to each\nopen $U \\subset X$ a map of sets $\\varphi : \\mathcal{F}(U)\n\\to \\mathcal{G}(U)$ compatible with restriction maps,\ni.e., whenever $V \\subset U \\subset X$ are open the\ndiagram\n$$\n\\xymatrix{\n\\mathcal{F}(U) \\ar[r]^\\varphi \\ar[d]^{\\rho^U_V} &\n\\mathcal{G}(U) \\ar[d]^{\\rho^U_V} \\\\\n\\mathcal{F}(V) \\ar[r]^\\varphi & \\mathcal{G}(V)\n}\n$$\ncommutes.\n\\item The category of presheaves of sets on $X$ will be denoted\n$\\textit{PSh}(X)$.\n\\end{enumerate}\n\\end{definition}"}]}
tag/006W
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space. Let be a set.
The constant sheaf with value denoted , or is the sheaf that assigns to an open the set of all locally constant maps with restriction mappings
given by restrictions of functions.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:e15b670cf8eaecb2e9774da8a00edf1ff814ee1bfb132f1eb75f8f353d5ac661","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_SHEAVES_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_006W","kind":"fragment","locator":"tag/006W","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:dd05660d523049b43c908e00357b644b49aecdc06ba7eb53adb2c325e626e2c3","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-constant-sheaf}\nLet $X$ be a topological space. Let $A$ be a set.\nThe {\\it constant sheaf with value $A$} denoted $\\underline{A}$, or\n$\\underline{A}_X$ is the sheaf that assigns to an open $U \\subset X$\nthe set of all locally constant maps $U \\to A$ with restriction mappings\ngiven by restrictions of functions.\n\\end{definition}"}]}
tag/01EF
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Let be an abelian presheaf on .
The complex is the {\v C}ech complex associated to and the
open covering . Its cohomology groups are
called the {\v C}ech cohomology groups associated to and the covering .
They are denoted .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:44ca688f1b371dc408a7186efb3a770de31e5cf542f3b48926b9929642de76de","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_01EF","kind":"fragment","locator":"tag/01EF","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:95b540b6925fdab8fa3a53def4a39d102181a21ef47fcce25d076b6a97bc0b1a","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-cech-complex}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe complex $\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis the {\\it {\\v C}ech complex} associated to $\\mathcal{F}$ and the\nopen covering $\\mathcal{U}$. Its cohomology groups\n$H^i(\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F}))$ are\ncalled the {\\it {\\v C}ech cohomology groups} associated to\n$\\mathcal{F}$ and the covering $\\mathcal{U}$.\nThey are denoted $\\check H^i(\\mathcal{U}, \\mathcal{F})$.\n\\end{definition}"}]}
tag/01EG
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an abelian presheaf on .
The following are equivalent
is an abelian sheaf and
for every open covering the natural map
is bijective.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:32257319184ae0e9c5584919035ad193c88002f0f7ce4eded08cfa8acbb48f20","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_01EG","kind":"fragment","locator":"tag/01EG","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:4c5b22ab222601aaae95952557fde5950661f40d81749b9bb69b4a8f61ff6108","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-cech-h0}\nLet $X$ be a topological space.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe following are equivalent\n\\begin{enumerate}\n\\item $\\mathcal{F}$ is an abelian sheaf and\n\\item for every open covering $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$\nthe natural map\n$$\n\\mathcal{F}(U) \\to \\check{H}^0(\\mathcal{U}, \\mathcal{F})\n$$\nis bijective.\n\\end{enumerate}\n\\end{lemma}"}]}
tag/01FI
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Assume given a total ordering on .
Let be an abelian presheaf on .
The complex is the ordered {\v C}ech complex associated to , the
open covering and the given total ordering on .
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:100a796ac383e4193e5e93c36072f00b3cbdec059858ee798aa6bb02c78c3997","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"defn","id":"urn:stacks:clir:sheaf-cohomology#ST_01FI","kind":"fragment","locator":"tag/01FI","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:4dbf509c03629779d780d60d6502aae3001874670f84eb6bc4cd9e0dab533882","language":"en","status":"official","text":"\\begin{definition}\n\\label{definition-ordered-cech-complex}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nAssume given a total ordering on $I$.\nLet $\\mathcal{F}$ be an abelian presheaf on $X$.\nThe complex $\\check{\\mathcal{C}}_{ord}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis the {\\it ordered {\\v C}ech complex} associated to $\\mathcal{F}$, the\nopen covering $\\mathcal{U}$ and the given total ordering on $I$.\n\\end{definition}"}]}
tag/01FM
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
Let be a topological space.
Let be an open covering.
Assume comes equipped with a total ordering.
The map is homotopic to the identity on .
In particular the inclusion map is a homotopy equivalence.
Исходные данные · JSON
JSONТолько чтение
{"contentHash":"sha256:13ee1524e1e1e43409a1fb17733206a93162331f710fb544c8218b6036a284e1","edition":"urn:stacks:clir:sheaf-cohomology#STACKS_COHOMOLOGY_MASTER","fragmentKind":"lemma","id":"urn:stacks:clir:sheaf-cohomology#ST_01FM","kind":"fragment","locator":"tag/01FM","package":"urn:stacks:clir:sheaf-cohomology","texts":[{"contentHash":"sha256:783d414a41461bccfb07b242a527657ee8fda1055c33a6ef41abf92ee925f966","language":"en","status":"official","text":"\\begin{lemma}\n\\label{lemma-alternating-usual}\nLet $X$ be a topological space.\nLet $\\mathcal{U} : U = \\bigcup_{i \\in I} U_i$ be an open covering.\nAssume $I$ comes equipped with a total ordering.\nThe map $c \\circ \\pi$ is homotopic to the identity on\n$\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$.\nIn particular the inclusion map\n$\\check{\\mathcal{C}}_{alt}^\\bullet(\\mathcal{U}, \\mathcal{F}) \\to\n\\check{\\mathcal{C}}^\\bullet(\\mathcal{U}, \\mathcal{F})$\nis a homotopy equivalence.\n\\end{lemma}"}]}
Пакеты в снимке
Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина
⌘Технические данныеПолный ответ, параметры и контрольные суммы⌄
Статус расчёта
COMPUTED
Полный ответ движка
cech_h1_order: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»
Выведено правом: section_over(urn:case:stacks:cech:fn-W-1, urn:case:stacks:cech:F, urn:case:stacks:cech:W); section_over(urn:case:stacks:cech:fn-U2-00, urn:case:stacks:cech:F, urn:case:stacks:cech:U2); section_over(urn:case:stacks:cech:fn-W-0, urn:case:stacks:cech:F, urn:case:stacks:cech:W); section_over(urn:case:stacks:cech:fn-U2-11, urn:case:stacks:cech:F, urn:case:stacks:cech:U2); section_over(urn:case:stacks:cech:fn-X-000, urn:case:stacks:cech:F, urn:case:stacks:cech:X); section_over(urn:case:stacks:cech:fn-U1-11, urn:case:stacks:cech:F, urn:case:stacks:cech:U1); section_over(urn:case:stacks:cech:fn-U1-00, urn:case:stacks:cech:F, urn:case:stacks:cech:U1); cech_c0_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, 4); section_over(urn:case:stacks:cech:fn-X-111, urn:case:stacks:cech:F, urn:case:stacks:cech:X); covers(urn:case:stacks:cech:cov, urn:case:stacks:cech:X); cech_c1_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, 2); compatible_pair(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, urn:case:stacks:cech:fn-U1-11, urn:case:stacks:cech:fn-U2-11); compatible_pair(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, urn:case:stacks:cech:fn-U1-00, urn:case:stacks:cech:fn-U2-00); cech_h0_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, 2); cech_h0_matches_sections(urn:case:stacks:cech:F, urn:case:stacks:cech:cov); cech_h1_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, 1); cech_h1_dimension(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, 0)
…и ещё 467 выведенных фактов вне предмета вопроса (полный вывод — law_explain)
Применены правила: AgreeAtPoint, CechC0Order, CechC1Order, CechH0MatchesSections, CechH0Order, CechH1Dimension, CechH1Order, CompatiblePair, CoversByPoints, IntersectionByPoints, LocallyConstantAlongSpecialization, OpenByGeneralizationStability, RestrictionByValues, SameValueAtTwoPoints, SectionsOfConstantSheaf, SubsetByPoints
Правило «01EF with 01FI: over the field \(Z/2\), \(|im d^0| = |C^0| / |ker d^0|\) and \(Ȟ^1 = C^1 / im d^0\), so the order \(n\) of \(Ȟ^1\) satisfies \(n · |C^0| = |C^1| · |ker d^0|\)» вывело бы это при посылках:
· v6 × v2 = v3 × v4 — DEPENDS
✓ power_of_two(1, 2) — TRUE_ONLY
· cech_c1_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, v3) — DEPENDS
· cech_c0_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, v2) — DEPENDS
· cech_h0_order(urn:case:stacks:cech:F, urn:case:stacks:cech:cov, v4) — DEPENDS
(? — факт не подан и не выведен; ✗ — установлено обратное)
Полные правила с посылками: law_rules({"predicate": "cech_h1_order"})
Право (вне юрисдикции государства): Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — доктрина (programHash sha256:6b62eb59e903…)
proof-граф: 574 узлов — поле evaluation готово для law_explain
Полный машинный результат · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
{"acts":[{"contributed":true,"fragmentCount":26,"fragments":["urn:stacks:clir:sheaf-cohomology#ST_0061","urn:stacks:clir:sheaf-cohomology#ST_0062","urn:stacks:clir:sheaf-cohomology#ST_006E","urn:stacks:clir:sheaf-cohomology#ST_006W","urn:stacks:clir:sheaf-cohomology#ST_01EF","urn:stacks:clir:sheaf-cohomology#ST_01EG","urn:stacks:clir:sheaf-cohomology#ST_01FI","urn:stacks:clir:sheaf-cohomology#ST_01FM"],"jurisdiction":"none","namespace":"urn:stacks:clir:sheaf-cohomology","package":"stacks-sheaf-cohomology","title":"Когомологии пучков по The Stacks Project: пучок, пучковизация, H^i(X, F) как производный функтор глобальных сечений, вялые пучки — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:270b4827fc6bf098dfe36c67e591ed262b268866576a1f4e2b2e97bf2fe040dd","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:6b62eb59e903172fce7cc3ce1a8e29b1fbfc4c6808acc817493c98a07cd7e74e","resultHash":"sha256:6b150c13c068e1e313abc6beed82929454b6a1d18b3dc827f5b8ac8f2bd03edf","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"}
Утверждение о порядке 2 здесь не подтверждено и не опровергнуто: модель считает порядок, а не отрицает чужие значения.
Как сослаться
Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.
Текст ссылки
«Стягиваемое конечное пространство с покрытием из двух открытых множеств и постоянный пучок Z/2. Чему равна первая когомология Чеха и что модель отвечает на предъявленное ей предположение о порядке 2?». Arxo Lens, по состоянию на 06.09.2026. https://lens.arxo.io/a/a_D8izPKYnhehPBQQFpqUuGlhN. SHA-256 снимка: 05dc05bab7d971bd7b4152d586de3205a754f97cfc755d7e9fc726eb5cad9a1d.
BibTeX
@misc{arxo-lens-a_D8izPKYnhehP,
title = {Стягиваемое конечное пространство с покрытием из двух открытых множеств и постоянный пучок Z/2. Чему равна первая когомология Чеха и что модель отвечает на предъявленное ей предположение о порядке 2?},
howpublished = {Arxo Lens},
url = {https://lens.arxo.io/a/a_D8izPKYnhehPBQQFpqUuGlhN},
note = {по состоянию на 06.09.2026; SHA-256 05dc05bab7d971bd7b4152d586de3205a754f97cfc755d7e9fc726eb5cad9a1d}
}
Код для вставки
Карточка показывает результат и ведёт к полному разбору; cookies не ставит.
<iframe src="https://lens.arxo.io/embed/a_D8izPKYnhehPBQQFpqUuGlhN?lang=ru" width="100%" height="362" loading="lazy" title="Когомологии Чеха на конечном пространстве — Arxo Lens" style="border:0"></iframe>