Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Розглянуто функціональні послідовності ƒn(A) комплексних аналітичних функцій з нечітким комплексним числом A як аргументом.
Збережено в:
Дата: | 2016 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2016
|
Назва видання: | Системні дослідження та інформаційні технології |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/134020 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Последовательности функций и ряды Тейлора с нечетким комплексным аргументом / И.Я. Спекторский // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 125-140. — Бібліогр.: 15 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-134020 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1340202018-06-11T03:03:39Z Последовательности функций и ряды Тейлора с нечетким комплексным аргументом Спекторский, И.Я. Нові методи в системному аналізі, інформатиці та теорії прийняття рішень Розглянуто функціональні послідовності ƒn(A) комплексних аналітичних функцій з нечітким комплексним числом A як аргументом. This article considers functional sequences fn (A) with fuzzy complex number A for an argument. 2016 Article Последовательности функций и ряды Тейлора с нечетким комплексным аргументом / И.Я. Спекторский // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 125-140. — Бібліогр.: 15 назв. — рос. 1681–6048 DOI: doi.org/10.20535/SRIT.2308-8893.2016.2.12 http://dspace.nbuv.gov.ua/handle/123456789/134020 519/6 ru Системні дослідження та інформаційні технології Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Нові методи в системному аналізі, інформатиці та теорії прийняття рішень Нові методи в системному аналізі, інформатиці та теорії прийняття рішень |
spellingShingle |
Нові методи в системному аналізі, інформатиці та теорії прийняття рішень Нові методи в системному аналізі, інформатиці та теорії прийняття рішень Спекторский, И.Я. Последовательности функций и ряды Тейлора с нечетким комплексным аргументом Системні дослідження та інформаційні технології |
description |
Розглянуто функціональні послідовності ƒn(A) комплексних аналітичних функцій з нечітким комплексним числом A як аргументом. |
format |
Article |
author |
Спекторский, И.Я. |
author_facet |
Спекторский, И.Я. |
author_sort |
Спекторский, И.Я. |
title |
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом |
title_short |
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом |
title_full |
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом |
title_fullStr |
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом |
title_full_unstemmed |
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом |
title_sort |
последовательности функций и ряды тейлора с нечетким комплексным аргументом |
publisher |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
publishDate |
2016 |
topic_facet |
Нові методи в системному аналізі, інформатиці та теорії прийняття рішень |
url |
http://dspace.nbuv.gov.ua/handle/123456789/134020 |
citation_txt |
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом / И.Я. Спекторский // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 125-140. — Бібліогр.: 15 назв. — рос. |
series |
Системні дослідження та інформаційні технології |
work_keys_str_mv |
AT spektorskijiâ posledovatelʹnostifunkcijirâdytejlorasnečetkimkompleksnymargumentom |
first_indexed |
2025-07-09T20:09:06Z |
last_indexed |
2025-07-09T20:09:06Z |
_version_ |
1837201358477852672 |
fulltext |
© И.Я. Спекторский, 2016
Системні дослідження та інформаційні технології, 2016, № 2 125
TIДC
НОВІ МЕТОДИ В СИСТЕМНОМУ АНАЛІЗІ,
ІНФОРМАТИЦІ ТА ТЕОРІЇ ПРИЙНЯТТЯ РІШЕНЬ
УДК 519/6
DOI: 10.20535/SRIT.2308-8893.2016.2.12
ПОСЛЕДОВАТЕЛЬНОСТИ ФУНКЦИЙ И РЯДЫ ТЕЙЛОРА
С НЕЧЕТКИМ КОМПЛЕКСНЫМ АРГУМЕНТОМ
И.Я. СПЕКТОРСКИЙ
Рассмотрены функциональные последовательности )(Af n комплексных ана-
литических функций с нечетким комплексным числом A в качестве аргумента;
предполагается сходимость )()(lim zfzfnn
=
∞→
и )()(lim xfxfnn
′=′
∞→
как равно-
мерная на каждом круге внутри Asupp . Вследствие аналитичности выполня-
ются требования поточечной сходимости производных, а также конечности
числа решений уравнения wzf =)( относительно z для каждого w на каж-
дом круге внутри Asupp . Предложены достаточные условия сходимости
)(Af n как поточечной сходимости последовательности функций принадлеж-
ности )()( wAf n
μ : доказана сходимость )()(lim )()( ww AfAfn n
μ=μ
∞→
в точках
C∈w , кроме таких )(zfw = , что z — точка разрыва )(zAμ , либо
0)( =′ zf . Как частный случай последовательности )(Af n рассмотрено
обобщение конструкции ряда Тейлора ∑
∞
=
−=
0
0!
)( )()( 0
)(
i
i
i
zf zzzf
i
для анали-
тической функции )(zf для случая нечеткого комплексного аргумента
Az = . Сходимость ряда рассмотрена как поточечная сходимость последова-
тельности функций принадлежности частичных сумм )()( wASn
μ , где
∑
=
−=
n
i
i
i
zf
n zzzS
i
0
0!
)( )()( 0
)(
.
ВВЕДЕНИЕ
Нечеткие числа как частный случай нечетких множеств представляют мощ-
ное средство математического моделирования в условиях неполной инфор-
мации об исходных объектах. Так, в работах [1, 2] описывается применение
аппарата нечетких множеств (в частности, нечетких чисел) для разработки
экспертных систем, решения задачи распознавания образов, представления
знаний в системах искусственного интеллекта. Активно развивается теория
нечетких систем управления [3].
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 126
Принцип обобщения, сформулированный Л.А. Заде для произвольных
нечетких множеств [1, 8], определяет действие произвольной числовой
функции конечного числа аргументов на нечеткие числа. В частности, для
случая нечетких чисел можно обобщить стандартные арифметические опе-
рации «+», «·», «−» и « ⁄». В работах [8, 9] вводится понятие нечеткого ком-
плексного числа.
Для нечетких чисел, включая комплексный случай, сохраняются законы
коммутативности и ассоциативности операций «+»и «·», однако в общем
случае не выполняется дистрибутивность «·» относительно «+» (алгеб-
раические свойства нечетких чисел изложены в работах [5–7]).
Наличие ассоциативности «+» и «·» позволяет рассматривать степен-
ные ряды с нечетким аргументом, трактуя сходимость конечных сумм ряда
как сходимость последовательности функций принадлежности. В частности,
это касается рядов Тейлора с нечетким аргументом и сходимости такого ря-
да (в определенном смысле) к значению исходной функции над заданным
нечетким аргументом. Так, в работе [10] рассматриваются ряды Тейлора
с нечетким аргументом с компактным носителем; сходимость таких рядов
трактуется как сходимость множеств уровня функций принадлежности час-
тичных сумм по метрике Хаусдорфа. Однако анализ поточечной сходимо-
сти последовательности функций принадлежности в ряде случаев может
оказаться существенно проще, чем анализ сходимости соответствующих
множеств уровня по метрике Хаусдорфа (см. работу [1]) для случая дейст-
вительного нечеткого аргумента).
Цель работы — представить достаточные условия сходимости после-
довательности функций с нечетким комплексным аргументом в смысле по-
точечной сходимости последовательности функций принадлежности и при-
менить полученный результат к сходимости частичных сумм ряда Тейлора
с нечетким комплексным аргументом. Полученные результаты могут по-
мочь аппроксимировать сложные нечеткие модели более простыми с воз-
можностью предельного перехода в топологии поточечной сходимости.
В работе приводятся в основном известные сведения из теории нечет-
ких комплексных чисел, необходимые для изложения основного результата,
а также анализируется возможность предельного перехода в последователь-
ности отображений с нечетким комплексным аргументом, рассматривается
сходимость рядов Тейлора с нечетким комплексным аргументом как пото-
чечной сходимости функций принадлежности для частичных сумм.
ПОНЯТИЕ НЕЧЕТКОГО КОМПЛЕКСНОГО ЧИСЛА. ВЫПУКЛЫЕ
НЕЧЕТКИЕ КОМПЛЕКСНЫЕ ЧИСЛА
Нечеткое комплексное число A является частным случаем нечеткого множе-
ства и определяется своей функцией принадлежности ]1,0[: →μ CA . Носи-
телем нечеткого комплексного числа A называют множество
}0)(:{supp >μ∈= zzA AC . Для заданного ]1;0(∈α рассматривают множе-
ство уровня })(:{][ α≥μ∈=α zzA AC . Очевидно соотношение
U
0
][supp
>α
α= AA . Легко понять, что совокупность множеств уровня одно-
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 127
значно определяет функцию принадлежности Aμ (а значит и само нечет-
кое комплексное число A), так как =α=μ∈=αμ − })(:{)( 00
1 zz AA C
U
0
0
][\][
α>α
αα= AA для всех 10 0 ≤α< .
Нечеткое комплексное число A называют нормальным, если 1)( =μ zA
для некоторого C∈z . Так, нечеткое комплексное число A с функцией при-
надлежности
⎩
⎨
⎧
>
≤−=μ 1||,0
;1|||,|1)( z
zzz является нормальным, Также нор-
мально нечеткое комплексное число с функцией принадлежности 1)( =μ z
( C∈z ), однако нечеткое комплексное число с функцией принадлежности
0)( =μ z ( C∈z ) не является нормальным. Заметим, что нормальность
иногда требуется при определении нечеткого числа как действительного,
так и комплексного, например, [8–10].
Важный класс представляют нечеткие комплексные числа с полунепре-
рывной сверху функцией принадлежности1. Полунепрерывность функции
Aμ , которая определяется условием
⎟
⎠
⎞⎜
⎝
⎛ μ≤μ⇒⎟
⎠
⎞⎜
⎝
⎛ =
∞→∞→
)()(limlim zzzz AnA
n
n
n
,
можно охарактеризовать в терминах множеств уровня нечеткого комплекс-
ного числа A.
Лемма 1. Функция принадлежности нечеткого комплексного числа A
полунепрерывна сверху тогда и только тогда, когда все множества уровня
α][A )]1;0(( ∈α замкнуты.
Утверждение леммы (в эквивалентной формулировке) доказано, на-
пример, в работе [12, с. 385–388], а в [13] приведено в виде упражнения.
Следствие. Пусть функция принадлежности нечеткого комплексного
числа A полунепрерывна сверху. Тогда компактность множества уровня
α][A при 10 ≤α< эквивалентна ограниченности α][A
Пример 1. Рассмотрим нечеткое комплексное число A с функцией при-
надлежности
⎪⎩
⎪
⎨
⎧
>
≤≤+
<
=μ
.8,0,1
;8,0||0,3;2,0||
;3,0|||,|
)(
z
zz
zz
zA
Очевидно, что )(zAμ полунепрерывна сверху, и все множества уровня
)]1;0(( ][ ∈ααA замкнуты. Так, замкнутым является }3,0|| :{][ 4.0 ≥= zzA .
Пример 2. Рассмотрим нечеткое комплексное число A с функцией при-
надлежности
2||)( z
A ez −=μ . Функция )(zAμ полунепрерывна сверху (и даже
непрерывна), все множества уровня ( )]1;0( ][ ∈ααA ограничены и в силу
следствия из леммы 1 компактны. Отметим, что носитель C=Asupp при
этом неограничен.
1 Здесь и далее под непрерывностью и полунепрерывностью сверху подразумеваем
непрерывность (полунепрерывность сверху) на C .
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 128
Заметим, что при определении нечеткого комплексного числа, наряду
с нормальностью, иногда требуется полунепрерывность сверху для функции
принадлежности, а также накладываются условия связности для множеств
уровня [8, 9].
ОТОБРАЖЕНИЯ НЕЧЕТКИХ КОМПЛЕКСНЫХ ЧИСЕЛ
Пусть CC →⊃ Df n : — функция с областью определения n
fD C⊂ ,
1≥n 2. В соответствии с принципом обобщения Заде [1–10] образ набора
нечетких комплексных чисел nAAA ,,, 21 K при отображении f определяется
как нечеткое комплексное число ),,,( 21 nAAAfB K= с функцией принад-
лежности
=μ )(wB
⎪
⎪
⎩
⎪
⎪
⎨
⎧
≠∈∀
=∈∃
μμ
= =
∈
.),,(:),,(
если,0
;),,(:),,(
если)),(,),((minsup
11
11
1
),,(
:),,(
1
1
1
wzzfDzz
wzzfDzz
zz
nfn
nfn
nAA
wzzf
Dzz
n
n
fn
KK
KK
K
K
K
(1)
Пример 3. Пусть zzff −=→ )( ,: CC . Тогда в соответствии с равенст-
вом (1) для произвольного нечеткого комплексного числа A получаем функ-
цию принадлежности для нечеткого комплексного числа A− : =μ− )(wA
)( wA −μ= ( C∈w ).
Пример 4. Пусть 2)( ,: zzff =→CC . Тогда в соответствии с равенст-
вом (1) для произвольного нечеткого комплексного числа A получаем функ-
цию принадлежности для 2A : ))(),((max)(2 www AAA
−μμ=μ ( C∈w ).
Пример 5. Пусть zezff =→ )( ,: CC . Тогда в соответствии с равенст-
вом (1) для произвольного нечеткого комплексного числа A получаем функ-
цию Ae
μ :
⎩
⎨
⎧
=
≠∈π+ϕ+μ=μ ,0,0
;0},:)2((ln{sup)( w
wkkirw A
e A
Z
где ϕ= irew , ,0≥r ];( ππ−∈ϕ .
Пример 6. Пусть 2121
2 ),( ,: zzzzff +=→CC . Тогда в соответствии
с равенством (1) для произвольных нечетких комплексных чисел 21 , AA
получаем функцию принадлежности для 21 AA + : =μ + )(
21
wAA
( ))(),(minsup 21
:),(
21
21
2
21
zz AA
wzz
zz
μμ=
=+
∈C
.
2 Здесь и далее символы «⊂ » и «⊃ » допускают равенство множеств.
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 129
Из примеров 3–6 видно, что при использовании равенства (1) необхо-
димо решать уравнение w,z,zf n =)( 1K для каждого C∈w . Если это урав-
нение имеет небольшое количество решений (примеры 3 и 4), равенство (1)
немедленно дает значение )(wBμ . Но прямое использование равенства (1)
весьма проблематично, если уравнение w,z,zf n =)( 1K имеет бесконечно
много решений (примеры 5 и 6), что особенно типично при 2≥n (при-
мер 6). Приводимая ниже теорема 1 (с предварительной технической лем-
мой) позволяет вычислять множества уровня нечеткого комплексного числа
B непосредственно по множествам уровня nAAA ,...,, 21 , минуя прямое ис-
пользование равенства (1).
Лемма 2. Пусть все множества уровня нечетких комплексных чисел
nAAA ,...,, 21 компактны и функция CC →nf : непрерывна на nC . Тогда
равенство (1) можно записать в виде
=μ )(wB
⎪
⎪
⎩
⎪
⎪
⎨
⎧
≠∈∀
=∈∃
μμ
= =
∈
.),,(:),,(
если,0
;),,(:),,(
если)),(,),((minmax
11
11
1
),,(
:),,(
1
1
1
wzzfzz
wzzfzz
zz
n
n
n
n
n
n
nAA
wzzf
zz
n
n
n
n
KK
KK
K
K
K
C
CC
(2)
Доказательство. Необходимо доказать, что супремум в правой части
равенства (1) достигается и поэтому может быть заменен на максимум.
Пусть 0))(,),((min 11
=μμ nAA zz
n
K для любого набора n
nzz C∈),...,( 1
такого, что wzzf n =),,( 1 K . Тогда 0)( =μ wB и утверждение леммы спра-
ведливо. Аналогично, если wzzf n ≠),,( 1 K для любого набора ∈),...,( 1 nzz
nC∈ , также имеем 0)( =μ wB и утверждение леммы справедливо.
Наконец, пусть 0))(,),((min 11
>α=μμ nAA zz
n
K и wzzf n =),,( 1 K
для некоторого набора n
nzz C∈),,( 1 K . Тогда равенство (1) можно записать
в виде
))(,),((minsup)( 1
),,(
:)][][]([),,( 1
1
211
nAA
wzzf
AAAzz
B zzw
n
n
nn
μμ=μ
=
×××∈ ααα
K
K
LK
.
Поскольку множество αααα ×××= ][][][ 21 nAAAX L компактно в nC ,
а множество }),,(:),,{()( 11
1 wzzfzzwf n
n
n =∈=− KK C замкнуто вслед-
ствие непрерывности ,f получаем ограниченность и замкнутость (а значит
и компактность3) множества )(1 wfX −
α ∩ . Наконец, функция K),((min 11
zAμ
3 В конечномерном пространстве, в частности в nR и nC , компактность множества
эквивалентна его ограниченности и замкнутости, однако в бесконечномерных мет-
рических пространствах ограниченность и замкнутость являются лишь необходи-
мыми, но не достаточными условиями компактности.
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 130
))(, nA z
n
μK полунепрерывна сверху на nC и аналогично теореме Вейершт-
расса [12, 13] достигает максимума на компакте )(1 wfX −∩α . □
Теорема 1. Пусть все множества уровня нечетких комплексных чисел
nAAA ,,, 21 K компактны и CC →nf : непрерывна на nC . Тогда при
10 ≤α< множества уровня α][B равно образу множеств уровня
ααα ][,,][,][ 21 nAAA K :
== αααα )][,,][,]([][ 21 nAAAfB K
)}][][]([),,(:),,({ 2111 ααα ×××∈= nnn AAAxxxxf LKK .
Доказательство. Зафиксируем 10 ≤α< . Поскольку условия леммы 2
выполнены, можем, воспользовавшись равенством (2), записать эквивалент-
ность
( ) ⇔
⎟
⎟
⎟
⎟
⎠
⎞
⎜
⎜
⎜
⎜
⎝
⎛
⎪
⎪
⎩
⎪⎪
⎨
⎧
α≥μ
α≥μ
=
∈∃⇔∈ α
.)(
;)(
;),,(
:),,(][ 1
1
1
1
nA
A
n
n
n
z
z
wzzf
zzBw
n
M
K
K C
( ))][,...,][,]([ 21 ααα∈⇔ nAAAfw ,
что доказывает утверждение теоремы. □
Пример 7. Рассмотрим нечеткие комплексные числа 1A и 2A
с функциями принадлежности
⎪⎩
⎪
⎨
⎧
δ>−
δ≤−−
=μ δ
−
,,0
;,1)(
111
111
1 1
11
1 cz
czz
cz
A
⎪⎩
⎪
⎨
⎧
δ>−
δ≤−−
=μ δ
−
,,0
;,1)(
222
222
2 2
22
2 cz
czz
cz
A
где C∈ic , 0>δi ( }2;1{∈i ). Поскольку все множества уровня 1A и 2A ком-
пактны, а отображение 2121 ),( zzzzf += непрерывно на 2C , для вычисле-
ния множеств уровня нечеткого комплексного числа 21 AAB += можем ис-
пользовать теорему 1. Для 1A и 2A имеем }- :{][ iii czzA δ≤∈=α C
})2;1{( ∈i и для B получаем:
})(- :{][][][ 212121 δ+δ≤+∈=+= ααα cczzAAB C ,
где 10 ≤α< . Теперь по виду α][B ( 10 ≤α< ) легко определить функцию
принадлежности нечеткого комплексного числа 21 AAB += :
⎪⎩
⎪
⎨
⎧
δ+δ>+−
δ+δ≤+−δ+δ
+−
−=μ +
.)(,0
;)(,
)(
1)(
2121
2121
21
21
21
aaw
ccw
ccw
wAA
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 131
Пример 8. Рассмотрим нечеткие комплексные числа 1A и 2A с функ-
циями принадлежности
⎪⎩
⎪
⎨
⎧
<
≥=μ +
,0,0
;0,)(
1
111 1
1
1 x
xx
x
zA
⎪⎩
⎪
⎨
⎧
>
≤=μ −
,0,0
;0,)(
2
212 2
2
2 x
xx
x
zA
0Re >= ii zx ( }2;1{∈i ).
Поскольку множества уровня нечетких комплексных чисел 1A и 2A
неограничены (а значит и некомпактны), условия теоремы 1 (как и леммы 2)
не выполнены. Применяя формулу (1) (см. также пример 6), получаем:
( ) 1,minsup))(),((minsup)( 11
),0max(
21
:),(
1
1
1
1
1
21
21
2
21
21
==μμ=μ −−
−
+
≥
=+
∈
+ xu
xu
x
xzzw
ux
AA
wzz
zz
AA
C
для всех C∈w , wu Re= . Заметим, что равенство ααα +=+ ][][][ 2121 AAAA ,
постулируемое теоремой 1, выполняется для всех )1;0(∈α , однако не вы-
полняется для 1=α : C=+ 121 ][ AA , ∅=+ 1211 ][][ AA .
Важным фактом для нечетких комплексных чисел является сохранение
полунепрерывности сверху для их функций принадлежности при непрерыв-
ном отображении. Докажем соответствующую теорему.
Теорема 2. Пусть nAAA ,,, 21 K — нечеткие комплексные числа с полу-
непрерывными сверху функциям принадлежности, все множества уровня
nAAA ,,, 21 K ограничены, функция CC →nf : непрерывна на nC
и ),,,( 21 nAAAfB K= . Тогда Bμ также полунепрерывна сверху.
Доказательство. Пусть функции
nAAA μμμ ,,,
21
K полунепрерывны
сверху. Тогда в соответствии с леммой 1 множества уровня
ααα ][,,][,][ 21 nAAA K замкнуты для любого ]1;0(∈α . По теореме 1 для про-
извольного 10 ≤α< имеем равенство )][,,][,]([][ 21 αααα = nAAAfB K , отку-
да вследствие непрерывности f и компактности множеств K,][,][ 21 αα AA
α][, nAK множество α][B также компактно (а значит и замкнуто). Таким об-
разом, все множества уровня нечеткого комплексного числа B замкнуты, и в
соответствие с леммой 1 функция Bμ полунепрерывна сверху. □
Аналог теоремы 1 доказан в работе [10] для действительных нечетких
чисел и непрерывной унарной функции )(xf , сохранение выпуклости при
операциях «+», «−» и «·» доказано, например, в работе [5].
Пример 9. Рассмотрим нечеткое комплексное число A с функцией при-
надлежности
⎩
⎨
⎧
δ>
δ≤−=μ δ
.||,0
;||,1)(
||
z
zz
z
A
Непосредственно из равенства (1) (см. также пример 4) найдем )(zAμ :
⎪⎩
⎪
⎨
⎧
δ∉
δ∈
δ
−=μ
.)[0;,0
;)[0;,1)(
z
zz
zA
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 132
Отметим, что функция )(zAμ полунепрерывна сверху, но ненепрерыв-
на при непрерывной функции )(zAμ и непрерывном отображении zzf =)( .
Пример 10. Рассмотрим нечеткое комплексное число A с функцией
принадлежности 1)( =μ z ( C∈z ). Тогда функция
⎩
⎨
⎧
=
≠=μ 0 ,0
;0 ,1)( z
zzAe
не полу-
непрерывна сверху; теорема 2 не применима, так как множества уровня не-
четкого комплексного числа A неограничены.
Замечание 1. Теоремы 1 и 2 легко обобщить на случай, когда f непре-
рывна на nAAA suppsuppsupp 21 ××× L . Так, если функции принадлежно-
сти нечетких комплексных чисел 1A и 2A полунепрерывны сверху
и 2supp0 A∉ , то функция
2
1
A
Aμ также полунепрерывна сверху.
Замечание 2. Очевидно, что свойство нормальности сохраняется при
произвольном отображении: если нечеткие комплексные числа nAAA ,,, 21 K
нормальны и CC →nf : определено на nC , то ),,,( 21 nAAAf K также нор-
мально.
Замечание 3. В отличие от действительного случая [5, 10, 11] вы-
пуклость множеств уровня нечетких комплексных чисел при произ-
вольном непрерывном отображении может не сохраняться. Так, для
нечеткого комплексного числа с функцией принадлежности
⎩
⎨
⎧
π∉≠
π∈+==μ )2;0[Imили 1Re,0
);2;0[, 1z,1)( zz
titzA все множества уровня имеют вид
)}2;0[Im ,1Re : { π∈=∈ zzz C , т.е. выпуклы, однако для нечеткого комплекс-
ного числа
⎩
⎨
⎧
≠
π∈ϕ==μ
ϕ
1,0
);2;0[,,1)(
z
ezz
i
e A все множества уровня являются
окружностью }1 : { =∈ zz C , т.е. не выпуклы.
ПОСЛЕДОВАТЕЛЬНОСТЬ ОТОБРАЖЕНИЙ НЕЧЕТКИХ КОМПЛЕКСНЫХ
ЧИСЕЛ. ПРЕДЕЛЬНЫЙ ПЕРЕХОД
Вспомогательные утверждения
Докажем несколько утверждений, обобщающих известные факты из дейст-
вительного анализа на комплексный случай. Здесь все аналитические функ-
ции предполагаются однозначными.
Длина кривой в 2C , заданной аналитической функцией. Пусть
функция C→Df : аналитична на открытом множестве C⊂D . Тогда кри-
вую в 2C )))((),((: tzftzt aγ , Dtz ∈)( , ];[ 2;1 ttt∈ можно рассматривать как
кривую в 4R : )))(),(()),(),((),(),(( tytxvtytxutytxt a , где ,Im ,Re zyzx ==
,Re fu = fv Im= Обозначим через γ длину кривой γ .
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 133
Лемма 3. Пусть )(tz дифференцируема для ];[ 21 ttt∈ .Тогда
∫ ′′+=
2
1
)())((1 2
t
t
dttztzfγ .
Доказательство. Используя формулу для длины кривой в nR , запи-
шем:
.))(())(())())(),((())())(),(((
)))()(),((())())(),((()( где ,)(
2222
22
2
1
tytxtytytxvtxtytxv
tytytxutxtytxutAdttA
yx
yx
t
t
′+′+′′+′′+
+′′+′′==γ ∫
Из условий Коши–Римана аналитичности f [14, 15] получаем
)))(())()(()1)))(),((()))(),(((()( 2222 tytxtytxvtytxutA xx ′+′+′+′= .
Наконец, учитывая равенство xx viuf ′+′=′ [14, 15], окончательно полу-
чаем
22 )()))((1()( tztzftA ′′+= ,
что доказывает утверждение леммы. □
Область определения обратной функции. Известно, что функция
C→Df : , аналитичная на открытом множестве C⊂D , обратима в некото-
рой окрестности точки Dz ∈0 тогда и только тогда, когда 0)( 0 ≠′ zf . При
этом, в отличие от функций на R , комплексная функция может не быть об-
ратимой на всей окрестности 0z , где 0)( 0 ≠′ zf . Так, функция zezf =)(
аналитична на C и 0)( ≠′ zf для всех C∈z , однако 1−f определена не на
всем C вследствие периодичности исходной функции: )2()( izfzf π+= .
Пусть Dz ∈0 и 0)( 0 ≠′ zf . Для оценки области определения 1−f , поль-
зуясь непрерывностью )(zf в D , выберем такое 0>r , что 0)( ≠zf при
rzz ≤−< 00 , и согласно теореме Вейерштрасса о функции, непрерывной
на компакте, можем ввести 0}||:)()({min 00 >=−−=μ rzzzfzf .
Лемма 4. Функция 1−f определена в круге })(:{ 0 μ<−= zfwwF
и }:{)( 0
1 rzzzEFf <−=⊂− .
Доказательство (основано на идее из работы [14, с. 210–213]). Функ-
ция )()( 0zfzf − имеет в E лишь один нуль: 0zz = . Зафиксируем F∈ξ
и рассмотрим функцию ξ−= )()(~ zfzf . Поскольку ≤μ<ξ−)( 0zf
)()( 0zfzf −≤ для rzz =− 0 , к функции ))(())()(()(~
00 ξ−+−= zfzfzfzf
применима теорема Руше: )(~ zf и )()( 0zfzf − имеют одинаковое количес-
тво нулей (ровно один нуль) внутри круга E . Таким образом, )(zf прини-
мает каждое значение F∈ξ в точности для одного Ez∈ и )(1 wf − опреде-
лена для каждого Fw∈ , причем Ewf ∈− )(1 .
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 134
Сходимость последовательности обратных функций
Рассмотрим последовательность функций C→Dfn : ( 1≥n ), аналитических
на открытом множестве C⊂D . Также предполагаем сходимость
)()(lim zfzfn
n
=
∞→
для всех Dz∈ , где функция C→Df : аналитична на
C⊂D . Зафиксировав Dz ∈0 , введем
0
0 )()()(
zz
zfzfz
−
−
=ϕ и =ϕ )(zn
0
0 )()(
zz
zfzf nn
−
−
= ( 1≥n ), доопределив )()( 00 zfz ′=ϕ и )()( 00 zfz nn ′=ϕ
( 1≥n ).
Лемма 5. Пусть 0>r и )()(lim zfzfn
n
=
∞→
, причем сходимость равно-
мерна на DrzzzE ⊂≤−= }||:{ 0 . Тогда )()(lim 00 zfzfn
n
′=′
∞→
, =ϕ
∞→
)(lim zn
n
)(zϕ= , причем сходимость )(znϕ ( 1≥n ) равномерна на E .
Доказательство. Сходимость )()(lim 00 zfzfn
n
′=′
∞→
легко получить,
применяя формулу Коши для производных [14, 15] и учитывая равно-
мерную на E сходимость )()(lim zfzfn
n
=
∞→
: =′−′ )()( 00 zfzfn
0))()((
2
1 →∫ ∞→
γ
−
π
=
nn dzzfzf
i
, где контур }2
1||:{ 0 rzzz =−=γ ориентирован
против часовой стрелки.
Заметим, что )()(lim zzn
n
ϕ=ϕ
∞→
для всех Ez∈ , причем сходимость рав-
номерна в любом кольце rzz ≤−<δ< ||0 0 . Равномерную на E сходимость
)()(lim zzn
n
ϕ=ϕ
∞→
в малой окрестности 0z можно доказать, рассмотрев раз-
ложение в ряд Тейлора ∑
∞
=
−+=
1
00
)(
0 ))((!
1)()(
k
kk
nnn zzzfkzfzf , δ<− || 0zz
при достаточно малом ];0( r∈δ . Тогда +′=ϕ )()( 0zfz nn
∑
∞
=
−−+
2
1
00
)( ))((!
1
k
kk
n zzzfk и, используя неравенство Коши для коэффициен-
тов ряда Тейлора [14, 15], ∑
∞
=
−−δ≤′−ϕ
2
1
00 ))(()()(
k
k
nnn zzMzfz , где
)(max)(
0
zfM n
zz
n
δ=−
=δ . Поскольку сходимость nf ( 1≥n ) на E равномерная,
существует конечное )(sup)(
1
δ=δ
≥
n
n
MM . Таким образом, для произвольного
0>ε можем выбрать δ<δ< 00 так, чтобы ε≤′−ϕ 3
1)()( 0zfz nn при
00 δ≤− zz для всех 1≥n , и такое 1≥N , что ε≤′−′
3
1)()( 0zfzf n при
00 δ≤− zz и Nn ≥ . Поскольку )()(lim zzn
n
ϕ=ϕ
∞→
( Ez∈ ) и =′
∞→
)(lim 0zfn
n
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 135
)( 0zf ′= , переходим в неравенстве ε≤′−ϕ 3
1)()( 0zfz nn к пределу по
∞→n , получая ε≤′−ϕ 3
1
0 )()( zfz при 00 δ≤− zz . Окончательно
ε≤ϕ−′+′−′+′−ϕ≤ϕ−ϕ )()()()()()()()( 0000 zzfzfzfzfzzz nnnn
при 00 δ≤− zz и Nn ≥ , что завершает доказательство леммы. □
Лемма 6. Пусть 0)( 0 ≠′ zf , 0>r , сходимость )()(lim zfzfn
n
=
∞→
равно-
мерна на }||:{ 0 rzzzE ≤−= , 0)( ≠ϕ z при Ez∈ . Тогда найдется такое
1≥N , что I
∞
=
=
Nn
n EfW )( содержит некоторую окрестность 0W точки )( 0zf ,
определены }||:{: 00
1 rzzzEWfn <−=→− ( 1≥n ), причем =−
∞→
)(lim 1 wfnn
)(1 wf −= для всех 0Ww∈ .
Доказательство. В соответствие с леммой 4 функция 1−f определена
в круге })(:{ 0 μ<−= zfwwF , где 0}||:)()({min 00 >=−−=μ rzzzfzf ,
причем Ewf ∈− )(1 для всех Fw∈ . Вследствие компактности E и непреры-
вности )(zϕ и )(zf ′ на E существует |,)(({|min zϕ=δ 0}):)( >∈′ Ezzf и
(в соответствие с леммой 5) равномерной на E сходимости
)()(lim zzn
n
ϕ=ϕ
∞→
и сходимости )()(lim 00 zfzfn
n
′=′
∞→
можем выбрать такое
11 ≥N , что 02)( >δ≥ϕ zn и 02)( >δ≥′ zfn для всех 1Nn ≥ при Ez∈ .
Учитывая равномерную на E сходимость )()(lim zfzfn
n
=
∞→
, можем вы-
брать 12 NN ≥ так, что 03
2}||:)()({min 00 >μ≥=−− rzzzfzf nn для всех
2Nn ≥ . Наконец выберем 2NN ≥ так, что μ≤− 3
1)()( 00 zfzfn для всех
Nn ≥ . Теперь в соответствие с леммой 4 каждая 1−
nf ( Nn ≥ ) определена
в круге }3
2)(:{ 0 μ<−= zfwwF nn и можно выбрать <−= )(:{ 00 zfwwW
}3
1μ< , при этом FFW n ⊂⊂0 для всех Nn ≥ .
Введя 0ˆ Ww∈ , )ˆ(ˆ 1 wfz −= , )ˆ(1 wfz nn
−= и )ˆ(zfw nn = , для Nn ≥ полу-
чаем
,ˆ),ˆ()ˆ,(),ˆ(),ˆ()ˆ,ˆ()ˆ,(
)ˆ,ˆ()ˆ,()ˆ()ˆ( 11
wwwzwzwzwzwzwz
wzwzwfwf
nnnnnn
nn
−+−≤−+−=
=−=− −−
причем расстояние ),(),( 00 nn wzwz − в 2C можно, применяя лемму 3 для
функции )(1 wf − , ограничить длиной кривой )),(((: 00
1 wwtwft nn −+γ −a
))( 00 wwtw n −+ , ]1;0[∈t , соединяющей точки )ˆ),ˆ(()ˆ,( 1 wwfwz nn
−= и
))),((),ˆ( 1
nnnn wwfwz −= :
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 136
≤−−+′+=− ∫ −
1
0
21 )ˆ()))ˆ(ˆ()((1),ˆ()ˆ,( dtwwwwtwfwzwz nnnnn
wwn ˆ41 2 −
δ
+≤ .
Таким образом, для Nn ≥ окончательно имеем
)ˆ()ˆ(42ˆˆ41)ˆ()ˆ( 22
11 zfzfwwwwwfwf nnnn −⎟
⎠
⎞
⎜
⎝
⎛
δ
+=−+−⎟
⎠
⎞
⎜
⎝
⎛
δ
+≤− −− ,
что, поскольку )ˆ()ˆ(lim zfzfn
n
=
∞→
, доказывает сходимость =−
∞→
)ˆ(lim 1 wfnn
)ˆ(1 wf −= . □
Сходимость функций принадлежности
Для функции C→Df : , аналитической на открытом множестве C⊂D , и
нечеткого комплексного числа A с носителем DA⊂supp введем обозначе-
ния:
)}.( функции разрыва точка :supp{
;}0)(:supp{
supp,
supp,
zzAzX
zfAzX
AAA
Af
μ−−∈=
=′∈=
Для нечеткого комплексного числа A с полунепрерывной сверху функ-
цией принадлежности и ограниченными множествами уровня и последова-
тельности аналитических функций C→Dfт : ( 1≥n ) получаем согласно
теореме 2 последовательность нечетких комплексных чисел )(AfA тn =
( 1≥n ), функции принадлежности которых полунепрерывны сверху.
Теорема 3. Пусть A — нечеткое комплексное число, все множества
уровня которого компактны; C→Dfn : ( 1≥n ) — последовательность фун-
кций, аналитичных на AD supp⊃ ; C→Df : — функция, аналитичная на
AD supp⊃ , и для любого компакта AK supp⊂ выполнены условия:
)()(lim zfzfn
n
=
∞→
, причем сходимость равномерна на K ;
для всех C∈w множество })(:{)(1 wzfKzKwf =∈=∩− конечно.
Тогда )()(lim )()( ww AfAf
n n
μ=μ
∞→
для любого ∪∈ AfXfw supp,(\C
),supp AAX∪ .
Доказательство. Зафиксируем произвольные ∪∈ AfXfw supp,0 (\C
),supp AAX∪ и 0>ε . Пусть ∅≠∩− Awf supp)( 0
1 , тогда ≠∩ α
−
0
][)( 0
1 Awf
∅≠ для некоторого 10 0 ≤α< . По условию
0
][)( 0
1
0 α
− ∩= AwfX конечно;
пусть },,,{ 210 kzzzX K= и U
k
j
jzzzX
1
,0 }||:{
=
δ δ≤−= для 0>δ . Поскольку
)(zAμ и )(zf ′ непрерывны в каждой точке 0Xz j ∈ , 0)( >μ jA z
и 0)( >′ jzf , можем выбрать такое 00 >δ , что 0)( >μ zA ,
ε≤μ−μ )()( zz AjA и 0)( >′ zf для любого
0,0 δ∈ Xz .
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 137
Положим }:{ 0δ≤−= zzzX jj , )( jj XfW = для 0Xz j ∈ . Тогда в соот-
ветствие с леммой 6 найдутся I
k
j
jWW
1
0
=
⊂ и 11 ≥N , что для всех 1Nn ≥ оп-
ределена j
j
n XWf →−
0
,1 : , причем 00 Ww ∈ и )()(lim ,1,1 wfwf jj
nn
−−
∞→
= для
всех 0Ww∈ ; подчеркнем, что jf ,1− и j
nf
,1− ( 1≥n ) – обратные функции
к сужениям f и nf на jX Поскольку U
k
j
jzzzAX
1
00 }||:{\][~
0
=
α δ<−= ком-
пактно, 0|)(| 0 >− wzf для 0
~Xz∈ , а сходимость )()(lim zfzfn
n
=
∞→
равно-
мерна на 0
~X , выберем 12 NN ≥ так, что ≥− |)(| 0wzfn
0}~|)({min2
1
00 >∈−≥ Xzwzf для всех 0
~Xz∈ и 2Nn ≥ . Итак, каждое
уравнение 0)( wzfn = относительно z при 2Nn ≥ имеет на
0
][ αA ровно k
корней: )( 0
,1 wf j
n
− ( kj ≤≤1 ). Из равенства (1) получаем:
))((max)( 0
,1
1
0)( wfw j
nA
kj
Afn
−
≤≤
μ=μ при 2Nn ≥ ,
))((max)( 0
,1
1
0)( wfw j
A
kj
Af
−
≤≤
μ=μ .
Выбрав 2NN ≥ так, что 00
,1
0
,1
1
)()(max δ≤− −−
≤≤
wfwf jj
n
kj
при Nn ≥ ,
получаем: ε≤μ−μ )()( 0)(0)( ww AfAfn
для Nn ≥ , т.е. =μ
∞→
)(lim 0)( wAf
n n
)( 0)( wAfμ= .
Наконец, при ∅=∩− Awf supp)( 0
1 имеем, очевидно, 0)( 0)( =μ wAf .
Для произвольного 10 0 ≤α< вследствие компактности
0
][ αA существует
0|)(|min 0
][
0
>−=ε
α∈
wzf
Az
и с учетом равномерной сходимости
)()(lim zfzfn
n
=
∞→
на
0
][ αA можем выбрать N так, что 02
1|)(| 0 >ε≥− wzfn
для всех
0
][ α∈ Az и Nn ≥ . Таким образом, при Nn ≥ ∅=∩ α
−
0
][)( 0
1 Awfn
и из равенства (2) 00)( )( α<μ wAfn
. Вследствие произвольности 10 0 ≤α<
получаем, что 0)( 0)( =μ wAfn
при Nn ≥ , т.е. 0)()(lim 0)(0)( =μ=μ
∞→
ww AfAf
n n
.
Теорема полностью доказана. □
Пример 11. Рассмотрим нечеткое комплексное число A с функцией
принадлежности
⎪⎩
⎪
⎨
⎧
δ>
δ≤
δ
−=μ
,,0
;,21)(
z
z
z
zA где 0>δ — фиксированная кон-
станта.
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 138
Рассмотрим последовательность функций
n
izzf
n
n +=)( ( 1≥n ). Оче-
видно, zzfzfn
n
==
∞→
)()(lim равномерно на }:{supp δ<= zzA . Непосред-
ственно из равенства (1) для
δ
> 1n получаем
⎪
⎪
⎪
⎩
⎪⎪
⎪
⎨
⎧
δ>+
δ≤+
+
−=μ δ
.,0
;,1)( 2)(
n
iz
n
iz
n
iz
z
n
n
n
Afn
Поскольку ∅=AfX ,supp и }:{supp, δ=== zzX AA , теорема 3 гарантиру-
ет сходимость )()(lim )()( zz AfAf
n n
μ=μ
∞→
для всех C∈z , кроме zzf =)( при
δ=z . Заметим, что при δ=z предел )(lim )( zAf
n n
μ
∞→
не существует.
РЯД ТЕЙЛОРА С НЕЧЕТКИМ КОМПЛЕКСНЫМ АРГУМЕНТОМ:
СХОДИМОСТЬ ЧАСТИЧНЫХ СУММ
Пусть C→Df : — функция, аналитическая на непустом открытом множе-
стве C⊂D . Тогда для произвольного Dz ∈0 получаем разложение
∑
∞
=
−=
0
0
0
)(
)(!
)()(
k
k
k
zzi
zfzf , (3)
причем ряд (3) сходится равномерно в любом круге DrzzzE ⊂≤−= }:{ 0 .
Лемма 7. Пусть C∈c и уравнение czf =)( имеет бесконечно много
корней на DrzzzE ⊂≤−= }:{ 0 . Тогда czf =)( для всех Ez∈ .
Доказательство. Вследствие компактности E множество корней
уравнения czf =)( имеет на E предельную точку. Теперь, применяя тео-
рему о единственности [14, 15], получаем: czf =)( для всех Ez∈ . □
Пусть ∑
=
−=
n
k
k
k
n zzk
zfzS
0
0
0
)(
)(!
)()( ( 0≥n ) — частичные суммы ряда
в равенстве (3). Ясно, что равенство (3) означает сходимость
)()(lim zfzSn
n
=
∞→
.
Теорема 4. Пусть A — нечеткое комплексное число, все множества
уровня которого компактны, а носитель линейно связный; функция
C→Df : аналитична на непустом открытом множестве AD supp⊃ . Тогда
)()(lim )()( ww AfAS
n n
μ=μ
∞→
для любого ( )AAAf XXfw supp,supp,\ ∪∈C .
Доказательство. Заметим, что )()(lim zfzSn
n
=
∞→
и )()(lim zfzSn
n
′=′
∞→
,
причем обе сходимости равномерны в любом круге ⊂≤−= }||:{ 0 rzzzE
Последовательности функций и ряды Тейлора с нечетким комплексным аргументом
Системні дослідження та інформаційні технології, 2016, № 2 139
Asupp⊂ . Пусть для некоторого ∪∈ AfXfw supp,0 (\C ),supp AAX∪ и
AE supp⊂ множество Ewf ∩− )( 0
1 бесконечно. Тогда по лемме 7 имеем
czf =)( для всех Ez∈ , а в силу единственности аналитического продол-
жения – для всех Az supp∈ , и утверждение теоремы очевидно. Если же
множество Ewf ∩− )( 0
1 конечно для всех )(\ supp,supp,0 AAAf XXfw ∪∈C
и AE supp⊂ , выполнены все условия теоремы 3, откуда следует требуемое
равенство )()(lim )()( ww AfAS
n n
μ=μ
∞→
. Теорема полностью доказана. □
Пример 12. Рассмотрим нечеткое комплексное число A с функцией
принадлежности
⎩
⎨
⎧
>
≤−
=μ
,1,0
;1,1
)(
z
zz
zA и функцию zzf
−
= 1
1)( . Непосред-
ственно из равенства (1) найдем
⎪
⎪
⎩
⎪⎪
⎨
⎧
<≤∞−
≥
−
−
=μ
.2
1Re,0
;2
1Re,
1
1
)()(
z
z
z
z
zAf
Область аналитичности )(zf включает }1:{supp <= zzA и разложе-
ние в ряд Тейлора при 00 =z имеет вид ∑
∞
=
=
0
)(
i
izzf ; ряд сходится при
1<z . Частичные суммы ∑
=
=
n
i
i
n zzS
0
)( при 1≠z представимы в виде
z
zxS
n
n −
−=
+
1
1)(
1
. Так как )(zAμ непрерывна на C и 0)( ≠′ zf для Az supp∈
(и даже для C∈z ), теорема 4 гарантирует сходимость =μ
∞→
)(lim )( zAS
n n
)(
1
1 z
A−
μ= для всех C∈z . Следует отметить, что )(supp]5,0;0( ASn⊂ по
крайней мере для всех 12 += kn ( 0≥k ), хотя }5,0Re:{)(supp >= zzAf .
В таблице приведен ряд значений )5,0(
nSμ , демонстрирующий сходимость
0)5,0(lim )( =μ
∞→
AS
n n
.
Значения )5,0(
nSμ
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
)5,0(
nSμ 0,50 0,00 0,35 0,00 0,28 0,00 0,24 0,00 0,20 0,00 0,18 0,00 0,16 0,00 0,15 0,00 0,14 0,00 0,13 0,00
ВЫВОДЫ
1. Для функциональной комплекснозначной последовательности
)(zfn , сходящейся к )(zf , и нечеткого комплексного аргумента A пред-
ставлены достаточные условия сходимости функций )()( zAfn
μ во всех точ-
ках, кроме образов точек разрыва )(zAμ и нулей )(zf ′ . Принципиальным
И.Я. Спекторский
ISSN 1681–6048 System Research & Information Technologies, 2016, № 2 140
является условие конечности количества решений уравнения wzf =)( от-
носительно z для всех C∈w в любом круге Azzz supp:{ 0 ⊂− .
2. Для аналитической функции )(zf представлены достаточные усло-
вия сходимости функций )()( zASn
μ , где )(zSn — частичные суммы ряда
Тейлора для )(zf . При этом для любой нетривиальной аналитической )(zf
уравнение wzf =)( относительно z для всех C∈w в любом круге
Azzz supp:{ 0 ⊂− всегда имеет лишь конечное количество решений.
3. Темой дальнейшего исследования предполагается возможность вос-
становления )()( zAfμ для всех C∈z с использованиям полунепрерывности
)()( zAfμ сверху.
ЛИТЕРАТУРА
1. Орловский С.А. Проблемы принятия решений при нечеткой исходной инфор-
мации / С.А. Орловский. — М.: Наука, 1981. — 208 с.
2. Аверкин А.Н. Нечеткие множества в моделях управления и искусственного ин-
теллекта / А.Н. Аверкин, И.3. Батыршин, А.Ф. Блишун и др., под ред.
Д.А. Поспелова. — М.: Наука. Гл. ред. физ.-мат. лит., 1986. — 312 с.
3. Passino Kevin M. Fuzzy Control / Kevin M. Passino, Stephen Yurkovich. — Addi-
son Wesley Longman, Menlo Park, CA, 1998. — 522 p.
4. Заде Л.А. Понятие лингвистической переменной и его применение к принятию
приближенных решений / Л.А.Заде. — М.: Мир, 1976. — 176 с.
5. Mizumoto M. Algebraic Properties of Fuzzy Numbers / M. Mizumoto, K. Tanaka //
Proceedings of IEEE International Conference on Cybernetics and Society. —
1976. — P. 559–563.
6. Delgado M. Fuzzy Numbers, Definitions and Properties / M. Delgado, J.L. Verdegay,
M.A. Vila // Mathware & Soft Computing 1. — 1994. — N 1 (1). — P. 31–43.
7. Dubois D. Fuzzy Real Algebra: Some Results / D. Dubois, H. Prade // Fuzzy Sets
and Systems. — 1979. — N 4 (2). — P. 327–348.
8. Buckley J.J. Fuzzy Complex Numbers / J.J. Buckley // Fuzzy Sets and Systems. —
1989. — N 33. — P. 333–345.
9. Dong Qiu. Notes on fuzzy complex analysis / Dong Qiu, LanShu, Zhi-WenMo //
Fuzzy Sets and Systems. — 2009. — N 160. — P. 1578–1589.
10. Inaida J. Taylor Series on the Fuzzy Number Space / J. Inaida // Special Issue on
Biometrics And Its Applications. — 2010. — N 16 (1). — P. 15–25.
11. 1. Спекторский И.Я. Последовательности функций и ряды Тейлора с нечетким
аргументом / И.Я. Спекторский // Системні дослідження та інформаційні
технології. — 2014. — № 2. — С. 125–140.
12. Натансон И.П. Теория функций вещественной переменной / И.П. Натансон. —
3 изд. — М.: Наука, 1974. — 480 с.
13. Кадец В.М. Курс функционального анализа / В.М. Кадец. — Х.: Харьк. нац. ун-т
им. В.Н. Каразина, 2006. — 607 с.
14. Шабат Б.В. Введение в комплексный анализ / Б.В.Шабат. — М.: Наука,
1985. — Ч. 1. — 336 с.
15. Маркушевич А.И. Краткий курс теории аналитических функций /
А.И. Маркушевич. — М.: Наука, 1978. — 416 с.
Поступила 03.02.2016
|