곱셈인지 아닌지, 가역원에서 0이 되는지만 보면 안다 — 글리슨-카한-젤라즈코 정리

복소 바나흐 대수 A와 그 위의 복소선형 범함수 f를 생각하자. f(1)=1로 정규화되어 있고, A의 가역원 x에 대해 f(x)가 절대 0이 되지 않는다고 하자. 이 두 가지만으로 f가 곱셈적이라는 것, 즉 모든 x, y에 대해 f(xy)=f(x)f(y)가 성립한다는 것이 글리슨-카한-젤라즈코 정리다. 숫자로 세어 보면 조건은 사실상 두 개뿐이다. f(1)=1이라는 정규화, 그리고 가역원에서 0이 아니라는 것. 그 둘에서 대수 전체의 곱셈 구조가 따라 나온다.

카탈린 바데아(Catalin Badea)의 이 논문은 그 정리를 세 가지 증명으로, 그것도 서로 다른 해석학적 도구를 써서 소개한다. arXiv ID는 2610.39769이고 분류는 math.HO, 즉 수학사·수학 해설 계열이다. 새 정리를 세우는 논문이 아니라, 하나의 정리가 왜 그렇게 여러 방식으로 증명되는지를 끝까지 따라가는 글이다.

가역원에서 0이 아니면 곱셈이다

정리의 진술 자체는 짧다. A는 항등원을 가진 복소 바나흐 대수, f는 A 위의 복소선형 범함수, f(1)=1. 만약 f가 가역원에서 절대 0의 값을 갖지 않는다면, f는 곱셈적이다. 곱셈적이라는 말은 f가 두 원소의 곱을 각각의 상의 곱으로 보낸다는 뜻이다.

여기서 정말 눈에 띄는 것은 가정 목록에 없는 것들이다. 우선 f의 연속성을 가정하지 않는다. 보통 함수해석학에서 범함수를 다룰 때는 연속성, 혹은 유계성을 먼저 요구한다. 다음으로 대수의 교환법칙도 가정하지 않는다. xy와 yx가 다를 수 있는 비가환 대수에서도 정리는 그대로 성립한다. 조건이 적은 만큼 결론이 강한, 드문 종류의 정리다.

바데아는 이 정리가 던지는 질문을 이렇게 배치한다. 범함수 하나가 대수 전체에 대해 아는 것은 극히 적어 보이는데, 그 적은 정보가 곱셈이라는 구조를 완전히 결정해 버린다면 대수에서 곱셈은 얼마나 단단한 정보인가.

스펙트럼이라는 다리

정리를 이해하는 첫 번째 열쇠는 스펙트럼이다. f가 곱셈적이면 f(x)는 x의 스펙트럼에 들어간다. 이것은 표준적인 사실이고, 정리는 그 방향의 반대편에 서 있다. 곱셈성에서 스펙트럼으로 가는 대신, 스펙트럼 쪽 정보에서 곱셈성을 끌어내려는 것이다.

그래서 증명의 공통 뼈대는 이렇게 된다. f(x)가 x의 스펙트럼 안에 있다는 것을 먼저 보이고, 그다음 스펙트럼의 성질을 써서 곱셈성을 얻는다. 문제는 첫 단계다. f(x)가 스펙트럼에 들어간다는 것을 보이려면, x 빼기 f(x) 곱하기 항등원이 가역이 아니라는 것을 보여야 한다. 가역성이 0이 아님과 만나는 지점이 바로 여기다.

세 증명은 모두 이 지점에서 서로 갈라진다. 어떤 도구로 그 비가역성을 잡아내는지가 증명의 성격을 결정한다. 인수분해 정리냐, 다항식이냐, 영점 없는 정칙함수에 관한 정리냐의 차이다.

장피에르 카한(Jean-Pierre Kahane). 이 논문은 그에 대한 개인적 회고로 시작해, 그의 이름이 붙은 정리로 들어간다. — David Monniaux, CC BY-SA 3.0 (Wikimedia Commons)

첫 번째 증명 — 정칙함수와 인수분해

원래의 증명은 글리슨이, 그리고 거의 같은 시기에 독립적으로 카한과 젤라즈코가 내놓았다. 이 증명의 도구는 복소해석이다. f의 값을 따라가며 영점이 없는 정칙함수를 만들고, 영점이 없는 정칙함수에 대해 알려진 인수분해 정리를 적용한다. 논문이 지목하는 것은 하다마르 인수분해 정리의 특수한 경우다.

영점이 없는 정칙함수는 지수함수 꼴로 인수분해된다는 것이 그 정리의 취지다. 함수가 영점을 갖지 않는다는, 겉보기에는 부정적인 정보가 함수의 모양을 거의 완전히 결정해 버린다는 뜻이다. 여기서 정규화 조건 f(1)=1이 결정적인 역할을 한다. 지수함수 꼴의 인수분해에는 상수 하나가 남는데, 그 상수를 f(1)=1이 고정해 준다.

바데아는 이 첫 증명에 필요한 초등적인 정칙함수 보조정리를 논문 안에서 완전히 증명한다. 독자가 하다마르 정리 전체를 알지 못해도 첫 번째 증명의 줄기는 따라갈 수 있게 만든 것이다. 반면 하다마르 정리 자체는 인용으로 처리한다.

두 번째와 세 번째 증명 — 다항식, 그리고 영점 없는 함수

두 번째는 로이트먼(Roitman)과 스턴펠트(Sternfeld)의 증명이다. 복소해석을 앞세우지 않고 다항식을 쓴다. 논문이 밝히는 핵심 도구는 대수학의 기본정리다. 복소수 위의 상수가 아닌 다항식은 근을 갖는다는, 학부 1학년이 배우는 그 정리다.

이 증명의 매력은 도구의 층이 낮다는 데 있다. 하다마르 인수분해 정리 같은 무거운 해석학 없이, 다항식과 근의 존재만으로 같은 결론에 도달한다. 그리고 이 다항식 논법은 뒤에서 다시 쓰인다. 논문은 로이트먼-스턴펠트의 논증을 그대로 확장해 란스퍼드(Ransford)의 일반화된 스펙트럼에 대한 정리까지 밀어붙인다. 한 증명이 다른 정리의 증명 재료로 재활용되는 장면이다.

세 번째는 저자 자신의 증명이다. 여기서 쓰이는 것은 폴리아-사서(Pólya-Saxer) 정리, 영점 없는 정칙함수와 그 도함수에 관한 정리다. 논문은 이 정리를 증명 없이 인용한다고 명시한다. 대신 세 증명이 각각 어떤 해석학적 사실에 기대고 있는지를 나란히 놓아, 같은 정리가 도구를 바꿔 가며 다시 증명되는 구조를 보여 준다.

세 증명이 만나는 곳 — 제곱 보존

흥미로운 것은 세 증명의 뒷부분이 같다는 점이다. 복소해석이든 다항식이든 영점 없는 함수든, 앞단의 도구는 다르지만 마지막에는 같은 대수적 보조정리를 통과한다. 그 보조정리는 이렇다. f가 제곱을 보존하면, 즉 모든 x에 대해 f(x²)=f(x)²이면, f는 곱셈적이다.

바데아는 이 대수적 논증을 논문에서 상세히 전개한다. 특히 비가환의 경우까지 포함해서다. 제곱만 보존하면 곱이 보존된다는 명제는 교환법칙 없이도 성립하며, 이 부분이 세 증명 모두의 공통된 심장이다. 앞단의 해석학은 결국 "제곱 보존"이라는 조건을 만들어 내기 위한 장치였다고 읽을 수 있다.

이 구조를 알고 나면 정리가 다르게 보인다. 정리의 어려움은 곱셈성이 아니라, 곱셈성보다 약해 보이는 제곱 보존을 어떻게 끌어내느냐에 있다. 세 증명의 차이는 정확히 그 한 걸음에 있다.

앤드루 글리슨(Andrew Gleason), 1959년 베를린에서. 원래 증명을 카한·젤라즈코와 독립적으로 내놓은 수학자다. — Jean Berko Gleason, CC BY-SA 3.0 (Wikimedia Commons)

반례, 응용, 그리고 저자가 인정한 한계

논문은 정리의 응용과 반례를 따로 다룬다. 응용 쪽은 이 정리가 다른 명제를 증명하는 도구로 들어가는 자리를 보여 주고, 반례 쪽은 가정을 흔들었을 때 무엇이 남는지를 보여 준다. 정리의 조건이 장식이 아니라 실제로 필요하다는 것을 확인하는 절차다. 끝으로 최근 문헌으로 가는 짧은 안내가 붙는다.

저자가 스스로 밝히는 한계도 분명하다. 첫째, 폴리아-사서 정리는 증명 없이 인용된다. 둘째, 첫 번째 증명이 기대는 하다마르 인수분해 정리도 인용이다. 즉 세 증명 가운데 두 개는 외부의 무거운 정리에 기대고 있고, 논문이 완전히 자체적으로 증명하는 것은 초등적 보조정리와 대수적 논증 부분이다. 이 글은 새로운 정리를 세우는 연구 논문이 아니라 소개와 해설이라는 성격도 여기서 드러난다.

정직하게 말하면, 이 논문이 답하지 않는 질문도 있다. 세 증명이 있다는 사실이 왜 그 정리가 그렇게 여러 도구로 붙잡히는지를 설명해 주지는 않는다. 논문은 세 증명을 나란히 놓고 각각의 해석학적 배경을 설명하지만, 그 셋이 하나의 더 깊은 원리의 그림자라는 식의 통합은 시도하지 않는다. 그 자리는 독자가 메워야 한다.

남는 질문

이 정리가 흥미로운 이유는 조건의 비대칭에 있다. 넣은 것은 정규화 하나와 가역원에서의 비영(非零) 하나인데, 나온 것은 곱셈 구조 전체다. 정보이론적으로 보면 들어간 것보다 나온 것이 많아 보인다. 물론 그 정보는 "가역원에서 0이 아니다"라는 조건 안에 이미 압축되어 들어 있었다. 정리는 그 압축을 푸는 방법을 알려 주는 셈이다.

그렇다면 질문은 이렇게 남는다. 우리가 어떤 대상을 함수 하나로 요약할 때, 그 함수가 보존해야 하는 최소한의 조건은 무엇인가. 곱셈을 보존하는 대신 제곱만 보존해도 충분하다는 이 정리의 결론은, 구조를 지키는 데 필요한 정보가 생각보다 훨씬 적다는 주장으로 읽힌다. 여러분이 다루는 대상에서는, 무엇을 지키면 나머지가 따라오는가.

참고 자료

Catalin Badea, "The Gleason–Kahane–Zelazko theorem: a gentle introduction", arXiv:2610.39769v1 [math.HO], 2026년 10월 29일 제출.

초록 및 원문: https://arxiv.org/abs/2610.39769v1

이미지 출처: Jean-Pierre Kahane 사진 — David Monniaux, CC BY-SA 3.0, Wikimedia Commons. Andrew Gleason 사진 — Jean Berko Gleason, CC BY-SA 3.0, Wikimedia Commons.