'Mathematics / Math.LO' 카테고리의 모든 글
본 논문은 연속 함수와 바이어 클래스 1 함수의 순서 유형에 대한 심도 있는 분석을 제공하며, 특히 이러한 함수들의 증가 또는 감소하는 잘 정렬된 시퀀스의 길이를 조사한다. 이 연구는 기존의 고전적인 결과를 확장하고, 메트릭 공간에서 바이어 클래스 1 함수의 사슬에 대한 새로운 관점을 제시한다. 연속 함수와 바이어 클래스 1 함수의 순서 유형 논문은 먼저 폴란드 공간에서 연속 함수와 바이어 클래스 1 함수의 시퀀스를 분석한다. 이는 고전적인 결과인 Kuratowski의 정리에 기반하며, 바이어 클래스 1 함수의 모노톤 시퀀스의 길이
이 논문은 브루어 고정점 정리와 관련된 새로운 접근법을 소개하며, 특히 근사 고정점과 순차적으로 가장 큰 값이 하나인 조건에 초점을 맞춘다. 이러한 접근법은 기존의 브루어 팬 정리를 확장하고, 이를 통해 제로섬 게임에서 최적 전략을 찾는 방법을 제시한다. 1. 브루어 고정점 정리와 근사 버전 브루어 고정점 정리는 비슈피처 수학에서 건설적으로 증명될 수 없다는 것이 잘 알려져 있다. 그러나 스퍼너의 함수를 이용하여 근사 버전을 제시할 수 있다는 점이 중요하다. 이 논문에서는 이러한 근사 버전을 통해 브루어 고정점 정리를 건설적으로 증
[Catchy Title KO]: 친구 Ljubiša Kočinac의 생일을 기념하는 토포로지 워크숍 [Abstract KO]: 이 문서는 친구인 Ljubiša Kočinac 씨의 65세 생일을 기념하여 조직된 IV 워크숍: 토포학에서의 덮개, 선택 및 게임 에 대한 안내입니다. 이 워크숍은 세콘다 유니베르시타 디 나폴리 수학부에서 3월 2일(금)에 개최될 예정이며, 각 발표는 약 30분간 진행됩니다. 또한, 재정 상황으로 인해 참가 지원 및 등록비 정보는 아직 확정되지 않았습니다. 심도 분석 (Deep Analysis KO): 이
본 논문은 MML(Mathematical Meta Language) 내의 미세한 의존성을 분석하는 시스템을 개발하고 그 활용 방법에 대해 설명한다. MML은 수학적 증명과 정리가 공식화된 가장 큰 데이터베이스 중 하나로, 약 1,100개의 기사와 250만 줄 이상의 텍스트를 포함하며, 이는 5만 개 이상의 정리와 1만 개 이상의 정의를 수학적 기호로 표현한다. 이러한 방대한 데이터는 다양한 실험을 수행하기 위한 코퍼스로서 가치가 크다. 논문에서 제시된 Mizar items 시스템은 MML 내의 미세 의존성을 계산하는 데 중점을 두고
본 논문은 보렐 집합의 동질성에 대한 깊이 있는 이해를 제공하며, 특히 칸토어 집합 C 내에서 보렐 집합의 구조와 그 성질을 탐구한다. 이 연구는 h 동질 공간이라는 개념을 중심으로 진행되며, 이를 통해 보렐 집합의 동질성을 분석하고 있다. 1. 기본 개념 및 정의 논문에서는 먼저 몇 가지 중요한 용어를 정의한다: 칸토어 집합 (C) : 이산적 수와 합리적 수를 각각 P, Q로 표기하며, 실수 R은 P와 Q의 합집합으로 표현된다. h 동질 공간 : 0차원 토폴로지 공간 X가 모든 비공허 클로프 열분 U에 대해 U와 X가 홈모르픽(h
검색어를 입력하세요