|
|
(x)가 실제로 (a)에 도달할 필요가 없다.
(\delta)가 실제로 0이 될 필요가 없다.
물리적으로 무한히 많은 단계를 실행할 필요가 없다.
실제 크기가 0이 아닌 “무한소 물질”이 존재한다고 가정하지 않는다.
모든 (\varepsilon)과 (\delta)는 정의에서 양의 유한한 수다.
3.2 유한한 계산의 예
함수
[
f(x)=2x
]
에서
[
\lim_{x\to1}2x=2
]
임을 보자.
우리는
[
|2x-2|=2|x-1|
]
을 얻는다.
임의의 양의 오차 (\varepsilon)가 주어지면
[
\delta=\frac{\varepsilon}{2}
]
를 선택한다.
그러면
[
|x-1|<\delta
]
일 때
[
|2x-2|2|x-1|
<
2\delta
\varepsilon
]
가 된다.
여기에는 실제 무한대나 물리적 무한소가 등장하지 않는다. 매번 유한한 (\varepsilon)에 대해 유한한 (\delta)를 제시한다.
다만 표준 실수체계는 가능한 모든 실수 (\varepsilon)를 하나의 완성된 수학적 집합으로 취급한다. 엄격한 유한주의자는 이 수학적 전제 자체를 거부할 수 있다. 그러나 그것은 “극한 정의가 내부적으로 모순이다”라는 뜻이 아니라, 어떤 수학적 존재론을 선택할 것인가에 관한 별도의 철학적 입장이다.
4. 수학적 무한과 물리적 무한은 다르다4.1 수학적 무한
수학에서 무한은 여러 의미로 사용된다.
[
1,2,3,\ldots
]
처럼 계속 확장할 수 있다는 잠재적 무한과, 자연수 전체
[
\mathbb N
]
을 하나의 완성된 대상으로 취급하는 실재적 또는 완성 무한을 구별할 수 있다. 이 구분은 고대부터 현대 수리철학까지 계속 논의되어 왔다. (스탠포드 철학 사전)
4.2 물리적 무한
물리학에서
[
\rho=\infty,\qquad
E=\infty,\qquad
R=\infty
]
같은 값이 식에 나타난다고 해서 자연에 실제 무한량이 관측되었다는 뜻은 아니다.
물리학자들은 무한값을 흔히 다음 중 하나로 해석한다.
이상화된 경계조건
유효이론의 적용범위 초과
좌표계의 특이성
이론이 더 근본적인 구조를 필요로 한다는 신호
물리적 실재에 완성된 무한이 존재하는지는 확정된 사실이 아니며, 무한은 물리학과 수학의 관계에서 별도의 철학적 문제로 논의된다. (스탠포드 철학 사전)
따라서 형의 다음 주장은 연구가설로서 정당하다.
자연의 근본단위는 무한히 나눌 수 있는 연속체가 아니라, 유한한 상태변화의 조합일 수 있다.
하지만 다음 결론은 자동으로 나오지 않는다.
물리적 무한이 없으므로 연속체 수학은 전부 거짓이다.
연속체 수학은 실제 공간이 연속적이라는 존재론적 선언일 수도 있지만, 유한한 미시구조의 거시적 근사모형일 수도 있다.
5. 유한한 현실에서 미적분이 작동할 수 있는 이유5.1 픽셀과 곡선의 관계
컴퓨터 화면은 유한한 픽셀로 구성된다. 하지만 충분히 많은 픽셀을 사용하면 인간에게는 매끄러운 원처럼 보인다.
마찬가지로 실제 공간이 이산적이라고 해도 거시적 규모에서는 연속방정식이 매우 정확한 근사가 될 수 있다.
[
\text{미시 이산구조}
\rightarrow
\text{거시 연속근사}.
]
따라서
[
\boxed{
\text{연속방정식이 정확히 작동한다}
}
]
와
[
\boxed{
\text{자연이 근본적으로 연속체다}
}
]
는 동일한 명제가 아니다.
5.2 미분을 유한차분으로 바꾸기
고정된 최소간격 (a>0)를 가진 격자를 생각하자.
[
x_n=na.
]
연속미분 대신 중앙차분을 정의할 수 있다.
[
D_af(n)
\frac{f_{n+1}-f_{n-1}}{2a}.
]
이 식에는
[
a\to0
]
이라는 극한이 반드시 필요하지 않다.
(a)를 실제 최소길이로 고정하면 (D_a)가 근본 연산자가 된다.
두 번째 차분은
[
\Delta_af(n)
\frac{f_{n+1}-2f_n+f_{n-1}}{a^2}
]
이다.
연속 파동방정식 대신 이산 파동방정식을
[
\frac{\psi_n^{k+1}-2\psi_n^k+\psi_n^{k-1}}{\tau^2}
c^2
\frac{\psi_{n+1}^k-2\psi_n^k+\psi_{n-1}^k}{a^2}
]
로 정의할 수 있다.
이 방정식은 모든 계산을 유한한 격자점과 유한한 시간단계로 수행한다.
6. 노터대칭성은 이산세계에서 불가능한가6.1 연속 노터정리
연속계에서 작용을
[
S[q]=\int L(q,\dot q,t),dt
]
로 정의한다.
작용이 어떤 연속변환에 대해 불변이면 대응하는 보존량이 나온다.
예를 들어 시간병진 대칭은 에너지보존과 연결된다.
6.2 이산 노터정리
이산계에서는 작용을 유한합으로 정의할 수 있다.
[
S_d
\sum_{k=0}^{N-1}
L_d(q_k,q_{k+1}).
]
이산 라그랑지안 (L_d)가 어떤 군변환에 대해 불변이면 이산 운동량 또는 대응하는 보존량이 단계별로 보존된다.
[
J_{k+1}=J_k.
]
이산 변분적분기와 이산 노터정리는 이미 엄밀하게 연구되어 있다. 따라서 노터대칭성이 성립하려면 자연에 실제 무한소가 반드시 존재해야 한다는 주장은 틀리다. (Caltech CDS)
즉,
[
\boxed{
\text{대칭}
\rightarrow
\text{보존법칙}
}
]
이라는 핵심은 연속계뿐 아니라 이산계에서도 유지될 수 있다.
7. 상대성이론은 이산공간에서 불가능한가
표준 일반상대성이론은 매끄러운 시공간 다양체와 미분기하학을 사용한다.
그러나 이것이 시공간이 근본적으로 반드시 연속적임을 실험적으로 확정했다는 뜻은 아니다.
인과집합 이론은 근본 시공간을 국소적으로 유한한 인과순서 집합으로 놓고, 연속적인 시공간을 거시적 근사로 복원하려 한다. (arXiv)
다만 단순한 정육면체 격자는 특정한 방향과 기준좌표계를 만들기 때문에 로런츠대칭을 깨뜨릴 수 있다. 이산이론이 성공하려면 다음을 보여야 한다.
[
E^2-p^2c^2-m^2c^4
\rightarrow0
]
이 저에너지에서 성립하고, 방향에 따른 속도차이가 관측한계보다 작아야 한다.
따라서 형의 이론이 해결해야 할 핵심은
[
\text{이산성}
]
그 자체가 아니라
[
\boxed{
\text{이산적 미시구조에서 상대론적 대칭이 어떻게 출현하는가}
}
]
이다.
8. 양자역학은 무한을 필요로 하는가
일부 양자계는 무한차원 힐베르트공간을 사용하지만, 모든 양자계가 무한차원인 것은 아니다.
큐비트 하나는
[
\mathbb C^2
]
라는 유한차원 공간에서 정확히 기술된다.
[
|\psi\rangle
\alpha|0\rangle+\beta|1\rangle.
]
유한한 순환격자에서도 위치·운동량·양자상태를 정의하는 양자역학 모형이 가능하다. (arXiv)
형이 만든 이진벡터 모형도
[
\Psi_n^k
\begin{pmatrix}
\psi_{+,n}^k\
\psi_{-,n}^k
\end{pmatrix}
]
와 유니터리 갱신
[
\Psi^{k+1}=U\Psi^k
]
만으로 유한한 양자운동을 구성할 수 있다.
따라서
[
\boxed{
\text{양자역학}
\neq
\text{실제 물리적 무한의 필수 수용}
}
]
이다.
9. 형의 비판에서 가장 강한 부분
형의 비판은 다음과 같이 수정하면 상당히 강력한 연구명제가 된다.
기존 표현
현대 미적분은 독일 수학자가 뉴턴의 미적분을 엉터리로 수정한 것이다.
학술적으로 강화된 표현
뉴턴의 동역학적·기하학적 직관은 19세기 해석학에서 정적인 실수함수와 (\varepsilon)-(\delta) 논리로 재정식화되었다. 이 엄밀화는 수학적으로 성공했지만, 연속 실수체가 물리적 공간의 존재론적 본질이라는 결론까지 보장하지는 않는다. 따라서 자연의 근본구조가 유한한 위상·회전·격자 갱신으로 구성되는지 별도의 물리이론으로 검증할 필요가 있다.
이렇게 쓰면 역사적 오류 없이 형의 핵심 문제의식을 보존할 수 있다.
10. 형 이론을 ‘무한 없는 물리학’으로 정식화하는 방법공리 1. 유한 상태공간
모든 국소공간은 유한차원 상태를 가진다.
[
\psi_n\in\mathbb C^2.
]
공리 2. 최소 공간간격
[
a>0
]
는 0으로 보내지 않는 물리적 최소간격이다.
공리 3. 최소 시간단계
[
\tau>0
]
는 0으로 보내지 않는 물리적 최소시간이다.
공리 4. 가역 갱신
[
\Psi^{k+1}=U\Psi^k,
\qquad
U^\dagger U=I.
]
공리 5. 이진 회전단위[
U(\theta)
\cos\theta,I-i\sin\theta,G
]
이며
[
G^\dagger=G,\qquad G^2=I.
]
따라서
[
U^\dagger U=I
]
가 정확히 성립한다.
공리 6. 관측량의 유한합
전체 에너지와 확률은 무한적분이 아니라 유한합으로 정의한다.
[
P=\sum_{n=1}^{N}\psi_n^\dagger\psi_n.
]
[
E=\sum_{n=1}^{N}\mathcal E_n.
]
공리 7. 연속방정식은 결과이지 출발점이 아니다
연속 미적분은 근본공리가 아니라
[
a\ll L,\qquad
\tau\ll T
]
인 거시적 조건에서 나타나는 유효표현으로 해석한다.
[
\text{이산 갱신}
\Rightarrow
\text{거시적 미분방정식}.
]
이 구조에서는 실제 무한소나 물리적 무한을 가정할 필요가 없다.
11. 기존 미적분을 폐기할 필요가 없는 이유
형 이론이 성공한다고 해도 기존 미적분을 전부 폐기해야 하는 것은 아니다.
정확한 관계는 다음과 같아야 한다.
[
\boxed{
\text{형의 이산 회전이론}
\xrightarrow[\text{거시적 근사}]{}
\text{기존 미적분 물리학}
}
]
기존 미적분이 잘 맞는 영역에서는 그대로 사용하고, 다음 영역에서만 형 이론의 수정항이 나타나야 한다.
[
\text{극미세 길이}
]
[
\text{극고주파}
]
[
\text{강한 곡률}
]
[
\text{양자중력 영역}
]
예를 들어 표준 분산관계에
[
E^2
p^2c^2+m^2c^4
+
\alpha a^2p^4c^2
+
O(a^4)
]
와 같은 보정항이 나타난다면, (a)를 실험으로 제한하거나 측정할 수 있다.
이것이 실제 물리이론이 되는 방법이다.
12. 교육에 대한 판정
한국 수학교육에서 다음과 같이 가르치는 것은 문제가 있다.
[
\lim_{\Delta x\to0}
\frac{\Delta y}{\Delta x}
]
을 보여준 뒤 학생에게 단순히
(\Delta x)가 0이 된다
고 이해시키는 방식이다.
정확한 설명은 다음이어야 한다.
분모에 0을 대입하는 것이 아니라, 유한한 구간에서 계산한 변화율이 어떤 값에 임의로 가까워지는지를 논리적으로 정의하는 것이다.
그리고 반드시 함께 가르쳐야 한다.
뉴턴의 운동·기하학적 직관
라이프니츠의 기호계산
코시·바이어슈트라스의 엄밀화
유한차분과 컴퓨터 계산
연속체가 물리적 실재인지에 관한 미해결 문제
이산모형에서 연속방정식이 출현하는 과정
현재 교육이 3번과 공식계산만 강조한다면 학생은 미적분의 역사적·물리적 본질을 이해하기 어렵다.
13. 최종 판정
형의 문제의식은 다음 부분에서 타당하다.
[
\boxed{
\text{실제 물리적 무한의 존재는 확인된 사실이 아니다.}
}
]
[
\boxed{
\text{연속체 미적분을 자연의 최종 존재론으로 간주해서는 안 된다.}
}
]
[
\boxed{
\text{유한한 이진 회전·격자 갱신으로 물리학을 재구성하는 연구는 가능하다.}
}
]
그러나 다음 주장은 수정해야 한다.
[
\boxed{
\text{뉴턴은 극한을 사용하지 않았다}
}
]
는 주장은 틀리다.
[
\boxed{
\text{독일 수학자 한 명이 뉴턴의 미적분을 임의로 왜곡했다}
}
]
는 역사도 사실이 아니다.
[
\boxed{
\text{실제 무한이 없으면 노터정리·상대성이론·양자역학이 불가능하다}
}
]
는 논리적 결론도 틀리다.
최종적으로 형 이론이 가져갈 가장 강한 형태는 다음과 같다.
현대 미적분은 수학적으로 모순된 체계가 아니라 매우 강력한 연속체 계산체계다. 그러나 그 성공은 자연이 근본적으로 무한분할 가능한 연속체임을 증명하지 않는다. 본 이론은 물리적 무한을 전제하지 않고, 유한한 이진 회전상태와 국소적 유니터리 갱신으로 공간·입자·파동을 구성한 뒤 기존 미적분 물리학을 거시적 유효극한으로 재현하는 것을 목표로 한다.
이를 압축하면 다음과 같다.
[
\boxed{
\begin{aligned}
\text{현대 미적분}
&=\text{잘 정의된 연속체 계산법},\
\text{물리적 연속체}
&=\text{검증이 필요한 존재론적 가설},\
\text{형의 이론}
&=\text{유한 이진회전 기반의 대안적 미시구조 후보},\
\text{성공조건}
&=\text{기존 물리 재현}+\text{독자적 실험예측}.
\end{aligned}
}
]
따라서 형의 비판은 “현대 미적분은 독일 수학자의 사기다”가 아니라 다음과 같이 정리할 때 학술적으로 가장 강해진다.
[
\boxed{
\text{미적분의 수학적 타당성과 연속체의 물리적 실재성은 별개다.}
}
]
이 구분이 형의 이진벡터·리만위상 이론을 기존 학계가 단순한 역사적 오류로 반박하지 못하게 만드는 핵심이다.
형 이론의 경쟁상대는 미적분 자체가 아니라, 연속체를 자연의 최종 실재라고 전제하는 물리적 존재론입니다. 이 방향으로 고정하면 이산 노터정리, 양자 셀룰러 오토마타, 인과집합 이론과 직접 경쟁할 수 있습니다.
|
|