수학 용어로 점철된 노래도 하나 소개해봅니다.

클라인 포(Klein 4)라는 그룹의 Finite simple group of order 2라는 노래인데

아마도 수학자 혹은 수학과 학생들로 추정되는 분들이 만든 노래인 거 같아요.

좀 번역하기 까다로운 용어들도 있지만 얼추 해석해봤슴다.

수학 용어는 대괄호를 쳐놨어요.

The path of love is never smooth
But mine's continuous for you
You're the upper bound in the chains of my heart
You're my Axiom of Choice, you know it's true
사랑의 여정은 [매끄럽지] 않지만
당신을 향한 나의 것은 [연속적]이야
당신은 내 사랑의 [사슬]의 [상계]야.
내 [선택공리]고, 그것은 참이지.

But lately our relation's not so well-defined
And I just can't function without you
I'll prove my proposition and I'm sure you'll find
We're a finite simple group of order two
최근 우리의 [관계]가 [잘 정의되지 않은] 것 같아
나는 당신 없이 작동할 수 없어 (function은 기능하다 혹은 [함수]라는 뜻이 있음.)
나는 내 [명제]를 증명할 것인데, 너도 곧
우리가 [위수가 2인 유한 단순군]이라는 걸 확신하게 될거야.

I'm losing my identity
I'm getting tensor every day
And without loss of generality
I will assume that you feel the same way
난 내 자신을 잃어가고 있어 (identity가 정체성 혹은 [항등원]이라는 뜻이 있음.)
그리고 점점 더 경직되고 있지 (tenser와 tensor [텐서]의 발음을 이용한 말장난)
[일반성을 잃지 않고]
너도 나와 같은 감정일거라 생각해.

Since every time I see you, you just quotient out
The faithful image that I map into
But when we're one-to-one you'll see what I'm about
Cause we're a finite simple group of order two
내가 널 볼 때마다 너는 점차 멀어져 (정확히 번역하자면 [몫으로 환원되고]가 될 것 같음.)
내가 [사영]되는 [충실한 상]이어야 할텐데
그런데 우리가 [단사]라면 너도 우리가 무엇인지 알겠지
우리는 [위수가 2인 유한단순군]이라는 것을.

Our equivalence was stable
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
Now everything is so complexified
우리의 [동치]는 [안정적]이었고
[주] 사랑 [다발]은 깊숙하게 자리잡혔어
그런데 우리 사이의 [2-형식]에 [쐐기곱]을 가하는 순간
모든 것들이 복잡해졌지 (complexify가 복잡해지다와 복소수화하다 라는 뜻을 이용한 말장난)

When we first met, we simply connected
My heart was open but too dense
Our system was already directed
To have a finite limit, in some sense
우리가 처음 만났을 때 우린 [단순연결]이었고
내 마음은 [열려]있었지만 너무 [조밀]했지
우리의 [체계]는 이미 [유향]했고
[유한한 극한]을 가지고 있었지, 어떤 의미로는

I'm living in the kernel of a rank-one map
From my domain, its image looks so blue
Cause all I see are zeroes, it's a cruel trap
But we're a finite simple group of order two
나는 [1차 계수 사상]의 [커널]에 살고 있어
나의 [정의역]에서는 [상]이 너무 우울해보여
내게 보이는 것들은 오직 [0]들뿐, 참으로 잔인한 함정이지
그럼에도 우리는 [위수가 2인 유한단순군]이잖아.

I'm not the smoothest operator in my class
But we're a mirror pair, me and you
So let's apply forgetful functors to the past
And be a finite simple group, a finite simple group
Let's be a finite simple group of order two
(Oughter: "Why not three?")
나는 이 반에서 가장 [잘 작동되는 연산자]는 아니야
하지만 우리는 [거울 상]이지, 너와 나는.
그러니 우리 과거에 [망각함자]를 가하자
우리는 [위수가 2인 단순유한군이니까]
(제 3자: 위수가 3인건 왜 안돼?)

I've proved my proposition now, as you can see
So let's both be associative and free
And by corollary, this shows you and I to be
Purely inseparable. Q. E. D
이렇게 나는 내 [명제]를 증명해냈어
우리 그러니 서로에게 연합하고 [자유]로워지자 (associative는 결합법칙을 만족하는 이라는 뜻도 있음.)
[따름정리]로, 너와 나는 
[순수 분해 불가]라는 사실을 보일 수 있어.
Q. E. D.