[논문 리뷰] Translation-invariant generalized topologies induced by probabilistic norms

Bernardo Lafuerza–Guillén, Jose L. Rodrıguez-Blancas|arXiv (Cornell University)|2005. 05. 23.

Fuzzy and Soft Set Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 비연속 삼각 함수를 갖는 Menger 확률적 노름 공간(PN 공간)으로부터 유도되는 실수 벡터 공간 위의 이동 불변 일반화 위상에 대한 특성화를 수립한다. 이 위상이 PN 공간으로 유도 가능할 조건은 0-근방 필터가 가산 기저를 가지며, 그 기저가 반사적이고 원형임을 만족할 경우이며, t-노름 T에 대해 약한 조건을 부과할 경우에 성립한다. 이는 확률적 메트라이제이션 이론을 비연속 설정으로 일반화한다.

ABSTRACT

In this paper we consider probabilistic normed spaces as defined by Alsina, Sklar, and Schweizer, but equipped with non necessarily continuous triangle functions. Such spaces endow a generalized topology that is Fréchet-separable, translation-invariant and countably generated by radial and circled 0-neighborhoods. Conversely, we show that such generalized topologies are probabilistically normable.

연구 동기 및 목표

• 비연속 삼각 함수를 갖는 확률적 노름 공간 이론을 확장하기 위해.
• 벡터 공간 내에서 확률적 노름에 의해 유도되는 일반화 위상의 특성화를 위해.
• 해당 일반화 위상가 확률적 노름 가능함을 위한 조건을 확립하기 위해.
• Höhle의 확률적 메트라이제이션 결과를 일반화하기 위해.
• 비연속적인 구조를 갖는 PN 공간에서의 확률적 노름 가능성과 유계성 간의 관계를 탐색하기 위해.

제안 방법

• sup₀≤x<1 T(x,x) < 1 이고, 작은 x,y에 대해 T(x,y) ≤ xy 를 만족하는 t-노름 T를 사용하여 삼각 함수 τ_T 와 τ_T* 를 정의한다.
• 반사적이고 원형인 0-근방 집합의 가산 필터 기저 {V_n}을 이용해 벡터 공간 S 위에 확률적 노름 ν 를 구성한다.
• 각 근방 V_n 의 색인 n 에 따라 의존하는 분포 함수 F_n 를 통해 ν_p(x) 를 정의한다.
• Fréchet 와 Höhle 의 일반화 위상 프레임워크를 적용하여 이동 불변성과 Fréchet 분리성을 보장한다.
• S, ν, τ_T, τ_T* 가 Menger PN 공간의 모든 공리, 특히 Šerstnev 조건을 만족함을 검증한다.
• ν 가 유도하는 일반화 위상이 원래 위상과 동치임을 증명하며, 필터 기저의 동치성에 기반한다.

실험 결과

연구 질문

• RQ1 실수 벡터 공간 위의 이동 불변이고 Fréchet 분리된 일반화 위상이 비연속 삼각 함수를 갖는 Menger PN 공간으로부터 유도 가능할 조건은 무엇인가?
• RQ2 확률적 노름 가능성에 대해 필수적이고 충분한 조건이 되는 0-근방 필터의 위상적 성질(예: 반사성, 원형성)은 무엇인가?
• RQ3 국소 곱셈성(T(x,y) ≤ xy, 0 근처에서)을 갖는 t-노름은 확률적 노름의 구조에 어떤 영향을 미치는가?
• RQ4 Höhle 의 확률적 메트라이제이션 결과는 PM 공간에서 PN 공간으로, 더 약한 연속성 조건 하에서도 확장 가능한가?
• RQ5 비연속 삼각 함수를 갖는 PN 공간에서 ν 가 유도하는 일반화 위상과 D-유계성 간의 관계는 무엇인가?

주요 결과

• 실수 벡터 공간 S 위의 Fréchet 분리되고 이동 불변인 일반화 위상은 0-근방 필터가 반사적이고 원형인 가산 기저를 갖는 한, Menger PN 공간 (S, ν, τ_T, τ_T*) 로부터 유도 가능하다.
• t-노름 T 는 sup₀≤x<1 T(x,x) < 1 이고, 작은 x,y 에 대해 T(x,y) ≤ xy 를 만족해야 하며, 이는 국소 곱셈성 보장에 기여한다.
• 확률적 노름 ν 는 반사적이고 원형인 0-근방 집합의 가산 필터 기저 {V_n}을 바탕으로, 감소하는 값을 갖는 분포 함수 F_n 를 통해 명시적으로 구성된다.
• 공리 (N3) — 확률적 삼각 부등식 — 는 τ_T(ν_p, ν_q)(x) ≤ 1 - 1/N₀ ≤ ν_{p+q}(x) 를 만족하며, 여기서 N₀ 는 1 - 1/N₀ ≥ sup T(x,x) 를 만족하도록 선택된다.
• 공리 (N4) — 볼록성 조건 — 는 t-코노름 τ_T* 와 T 의 곱셈성 조건을 활용하여 검증되며, ν_p ≤ τ_T*(ν_λp, ν_(1−λ)p) 를 보장한다.
• ν 가 유도하는 일반화 위상은 원래 위상과 동치이며, 필터 기저 {p : ν_p(1/(n+1)) ≥ 1 - 1/(N₀(n+1))} 가 원래 기저 {V_n} 과 일치함에 기반한다.