close

Вход

Забыли?

вход по аккаунту

?

О радиальных пространствах.

код для вставкиСкачать
Секция 4. Математика
Now there is key fact of evidence. Will prove a
hypothesis of Legendre on the contrary. Let on
2
the interval (n 2 ,� � (n + 1) ) there is no primes. Hence,
there is an inequality
2
pd < n 2 < (n + 1) < pd +1 . (3)
The number of all the numbers equal to � 2n on the
2
2
n ,� � (n + 1) . Therefore, the number of primes N on
the theory of probability is
(
)
((
N � n� , (n + 1)
2
2
))
 d

= � 2n· ∏ (1 − (1 / pk ) )  + (d / Td )  . (4)

 k =1

Since numerically conjecture of Legendre confirmed
to n ≤ 1010 then taking great �n , you can ignore the second
summand in the brace (4). Next dwe transform
d
ω (d ) = ∏ (1 − (1/ pk ) ). Since �ln (ω (d ) ) = ∑ln (1 − (1/ pk ) ) ,
k =1
k =1
we can use the following system of ratios

1
ln  1 −
p
k

t
t
∞
∞ 

1 1 
1
1
2
≥ − .(5)
 = � −∑   > −∑   = −
1
p
t
p
p
p
−
t
t
=
1
=
1
k
k

 k
 k
Using asymptotic equality of Legendre-Chebyshev
type [5]
d
1
∑ = ln(С n ln ( pd )) ,(6)
k =1
pk
we find the number of primes is determined on
the interval by the inequalities of the Legendre
((
2
N � n� 2 , (n + 1)
)) >� С ln2n p
2
.(7)
2
d
By the condition the inequality (3) have pd < n ,
thus, inequality (6) can be strengthened
2 p
2
2
N � n� 2 , (n + 1) > N � n� 2 , (n + 1) > � 2 2 d .(8)
((
pd
))
((
))
С ln pd
�
n
With an increase of and, consequently, increase of
the right side of the inequality is a
monotonically increasing, i. e. number of primes on
the interval ( pd , pd +1 ) seeks to infinity by the rule of
L’Hopital. This contradiction proves assumption
Legendre on the numeric axis.
The work reported at 8 All-Union conference
“Mathematics and Mathematical Modeling” (Sarov,
April, 2014) and 19 seminar of young scientists in Nizhniy
Novgorod (Nizhny Novgorod, May, 2014). The authors
would like to thank prof., doctor of physico-mathematical
sciences, head of RFYC–VNIIEF Y. N. Deryugina for
discussion and support.
References:
1.
2.
3.
4.
5.
6.
7.
Joaquin Navarro. Elusive ideas and timeless theorems. World of mathematics, vol. 25, p. 58, Moscow De Fgostini, 2014.
Sizii S. V. Lectures on number theory, Moskow, 2007.
Dicson L. (E). History of the Theory of Numbers, v. II, CPC, NewYork, 1971.
Druzhinin V.V, NTVP, 2014, №. 1, p. 22.
Drushinin V. V., Lazarev A. A., Sirotkina, A. G. Life Science Journal, 11, 2014 (10s), p. 346.
Druzhinin V. V., Lazarev A. A. NTVP, 2014, № 4, p. 21.
Druzhinin V. V. NTVP, 2014, №. 3, p. 14.
Shirokov Lev Vasilievich, Arzamas branch of the Lobachevsky
State University of Nizhni Novgorod (UNN),
candidate of physico-mathematical Sciences, associate Professor
E‑mail: Shirokov1954@mail.ru
On radial spaces
Abstract: The article considers the class of radial space. We study the properties of the radial spaces associated
with topological products.
Keywords: topological space, continuous mapping, compact, radial space, topological product.
Широков Лев Васильевич, Арзамасский филиал ННГУ им. Н. И. Лобачевского
кандидат физико-математических наук, доцент
E‑mail: Shirokov1954@mail.ru
О радиальных пространствах
Аннотация: В статье рассматривается класс радиальных пространств. Изучаются свойства радиальных
пространств, связанные с топологическими произведениями.
19
Section 4. Mathematics
Ключевые слова: топологическое пространство, непрерывное отображение, компакт, радиальное пространство, топологическое произведение.
Результаты данной статьи тесно связаны с работами автора [3 − 7] . Компакт — компактное хаусдорфово пространство, не обязательно метризуемое. Все
пространства предполагаются вполне регулярными.
Пусть S — семейство подмножеств топологического пространства X . Семейство S называется c -сетью в точке x ∈ X , если выполняются следующие условия: а) x ∈ {P : P ∈S }; б) для каждой окрестности Ox
точки x в пространстве X найдется множество P ∈S
такое, что выполняется P ⊂ Ox ; в) S линейно упорядочено по включению. Положим [ A ]ch = { x ∈ X : существует c -сеть S в x такая, что P ∩ A ≠ ∅ для любого
P ∈ S }. Если τ — кардинал, то положим:
expτ A = {B : B ⊂ A и В ≤ τ } и [ A ]τ = {[B ]X : B ∈ expτ A}.
Следующее понятие ввел Х. Херрлих.
Определение. Пространство X называется радиальным в точке x ∈ X , если для всякого A ⊂ X такого,
что x ∈ [ A ]x непременно x ∈ [ A ]ch .
Пространство называется радиальным, если оно
радиально в каждой точке.
В данной статье изучаются свойства радиальных
пространств, являющихся непрерывными образами
всюду плотных подпространств топологических произведений. Определение всех используемых понятий
и обозначений можно найти в монографии Р. Энгелькинга [8] .
Архангельским А. В. [2] доказано, что если радиальный компакт является непрерывным образом топологического произведения компактов веса ≤ τ , где
τ ≥ ω0 , то его вес не превосходит τ . Следующее утверждение существенно усиливает этот результат.
Теорема 1. Пусть τ ≥ ω0 , X = ∏ {X α : α ∈ A} —
топологическое произведение пространств X α веса
≤ τ для любого α ∈ A , S — всюду плотное подпространство X и f : S → Y непрерывное отображение
S на радиальный компакт Y . Тогда вес Y ≤ τ .
Доказательство. Так как c (X ) ≤ τ , то c (S ) ≤ τ и,
следовательно, c (Y ) ≤ τ . Тогда из теоремы Архангельского А. В. [1] следует, что ϖ (Y ) ≤ 2τ . Отсюда, в силу
результатов Архангельского А. В. [1] , вытекает существование множество A ′ ⊂ A мощности ≤ 2τ и непрерывное отображение f : prA′ (S ) → Y пространства
prA′ (S ) на компакт Y . Положим S ′ = prA′ (S ) . Для каждого α ∈ A ′ рассмотрим компактное хаусдорфово
расширение bX α пространства X α такое, что
ϖ (bX α ) ≤ τ и положим X ′ = ∏ {bX α : α ∈ A ′} . Через
g : β S ′ → X ′ обозначим стандартное отображение
20
стоун-чеховской компактификации β S ′ пространства S ′ на X ′ . Далее, через ϕ обозначим непрерывное
продолжение отображения f на β S ′ . Выбрав произвольную точку y ∈Y положим Fy = g (ϕ −1 (y )) и пусть
θ — произвольное элементарное открытое подмножество X ′ такое, что θ ∩Fy ≠ ∅ . По теореме Хьюита
-Марчевского-Пондичери [8] выполняется d (θ ) ≤ τ
, то есть, существует множество M = {x t : t ∈T } мощности ≤ τ , всюду плотное в θ . Положим
t
∑τ = x = (x α )∈[θ ]X ′′ : {α ∈ A ′ : x α ≠ x αt } ≤ τ
для каждого t ∈T . Обозначим через θ1 множество
 g −1 (θ ) β S ′ и через θ 2 — множество ϕ (θ1 ) . Далее, для
каждого t ∈T обозначим через F1t множество
g −1 ( Στt ) ∩ θ1 и через F2t — множество ϕ ( F1t ) . Ясно, что
F1t  β S ′ = θ1 и, следовательно, F2t Y = θ 2 . Так как для
любого t ∈T и любого множества Φ ⊂ F2t мощности
≤ τ выполняется [Φ ]Y ⊂ F2t и c ( F2t ) ≤ τ , то F2t = θ 2 для
любого t ∈T [2] , то есть, Fy ∩ Στt ≠ ∅ для любого
t ∈T . Для каждого t ∈T выберем точку z t ∈ Fy ∩ Στt
и положим
A t = {α ∈ A : prα (z t ) ≠ prα (x t )} .
Тогда мощность множества
{
}
A * = {A t : t ∈T } Aθ
не превосходит τ , где Aθ — конечное подмножество
A ′ такое, что множество [θ ]X ′ не зависит от множества A ′ \ Aθ . Так как множество prA′\A (M ) всюду плотно в X A′ ′\A , то
prA′\A ( Fy ∩ [θ ]X ′ ) = X A′ ′\A ,
то есть множество Fy ∩ [θ ]X ′ является накрытием
грани X A′ ′\A пространства X ′ с основанием A * мощности ≤ τ . Тогда из результатов автора вытекает существование слоя H vi(v ) с основанием v мощности ≤ τ ,
лежащего в Fy ∩ [θ ]X ′ . Так как элементарное открытое
множество θ было выбрано произвольно, то существует множество Fy′ ⊂ Fy , являющееся объединением множеств типа Gδ ,τ в X ′ такое, что Fy′ X ′ = Fy . Тогда множество Fy имеет тип Gδ ,τ в X ′ . Пусть η — система
открытых подмножеств пространства X ′ такая, что
*
*
*
*
*
Тогда
Fy = {U : U ∈η } и η ≤ τ .
y = {ϕ # (g −1 (U )): U ∈η },
а так как в компактах псевдохарактер точек совпадает с их характером, то χ ( y ,Y ) ≤ τ . Так как точка y
была выбрана произвольным образом, то выполняется χ (Y) ≤ τ . Следовательно, ϖ (Y ) ≤ τ . Теорема доказана.
Секция 4. Математика
Замечание. Без существенных изменений доказанная теорема переносится на непрерывные образы
всюду плотных подпространств пределов обратных
спектров топологических пространств с соответствующей модификацией ее условий. Идеи приведенных
рассуждений позволяют доказать следующие утверждения, представляющие самостоятельный интерес.
Теорема 2. Пусть f : S → X — непрерывное отображение всюду плотного подпространства S обобщенного канторова дисконтинуума D τ на компакт X ,
τ ′ — несчетный регулярный кардинал, причем
i (v )
S =  Hv : p ∈P ,
i (v )
где для любого p ∈ P множество H v является слоем в D τ с основанием v p мощности < τ ′ , и для любого p ∈ P
существует точка x ∈ X такая, что множество f −1 (x )
i (v )
содержит слой H v . Тогда вес компакта X < τ ′ .
Следующее понятие введено Архангельским А. В.
{
p
p
}
p
p
p
p
Определение. Топологическое пространство X
называется α -растянутым, если существует на X линейное упорядочение " < " такое, что всякое множество X x = {y ∈Y : y ≤ x } , x ∈ X замкнуто в X.
Определение. Компакт X называется q‑адическим,
если X является образом некоторого подмножества
обобщенного канторова дисконтинуума D τ относительно d -регулярного отображения [ 4] , [9] .
Теорема 3. q -адическим компакт X, являющийся
α -растянутым пространством, метризуем.
Теорема 4. Всякий q -адическим компакт X, вес
которого τ нельзя представить в виде суммы счетного совокупности меньших кардиналов, непрерывно
отображается на тихоновский куб I τ веса τ .
Теорема 5 (CH). Псевдорадиальный q -адическим компакт X метризуем.
Замечание. CH — континуум-гипотеза.
Список литературы:
1. Архангельский А. В. Об отображениях всюду плотных подпространств топологических произведений.//Докл. АН СССР. 1971. т. 197. № 4. С. 750–753.
2. Архангельский А. В. О некоторых свойствах радиальных пространств.//Мат. Заметки. 1980. т. 27. № 1.
С. 95–104.
3. Широков Л. В. Внешняя характеристика пространств Дугунджи и ℵ -метризуемых бикомпактов.//Докл.
АН СССР. 1982. т. 263. № 5. С. 1073–1077.
4. Широков Л. В. О AE(n)-бикомпактах.//Известия РАН. 1992. т. 56. № 6. С. 1316–1327.
5. Широков Л. В. О продолжении непрерывных отображений и аппроксимативной связности//Проблемы
современной науки, Центр научного знания «ЛОГОС». 2013. выпуск 9. С. 3–9.
6. Широков Л. В. О AE(n)-бикомпактах и n-мягких отображениях.//Сиб. матем. журн. 1992. т. 33. № 2.
С. 151–156.
7. Широков Л. В. Теория аналитических функций. Аспекты приложений/Л. В. Широков, Н. П. Ямпурин,
В. Д. Садков. -Арзамас: АГПИ, 2004. –188 с.
8. Engelking R. General Topology. – Warszawa: PWN, 1977. – 626 p.
9. Shirokov L. V. On some forms of embeddings of topological spaces.//Russian Mathematical Surveys 42, (2),
297–298.
21
Документ
Категория
Без категории
Просмотров
3
Размер файла
542 Кб
Теги
пространство, радиальных
1/--страниц
Пожаловаться на содержимое документа