밑 글 질문에 대한 답.
1. 가능한가?
아니다.
증명)
"관계식"은 다음 기호들로 이루어진다:
+, *, -, ÷, (, ), |, x, y, 그리고 모든 실수
이 기호들을 모은 집합을 L이라 하자. 당연하게도 |L|=|R|이다.
임의의 관계식은 L의 원소를 유한 개 나열해 둔 것이다. 그러므로 |L|의 원소를 유한 개 나열하여 만들어진 "문장"들을 모두 모아 집합 S를 만든다면, S는 모든 관계식을 포함한다(S에 포함된 "문장"들이 모두 관계식이 되는 것은 아니다. 예를 들어, "x+(÷|"도 S의 원소이다). |S|=|R|이다.
만약 "관계식"만으로 모든 도형을 표현할 수 있다면, 관계식들의 집합에서 도형들의 집합으로 가는 전사함수가 있어야 한다(관계식을 그것이 표현하는 도형으로 대응). 그런데 "도형"은 R^2의 임의의 부분집합이므로, 도형들의 집합은 카디널리티가 |P(R)|이고, 관계식들의 집합은 카디널리티가 |R|인 S의 부분집합이므로 그런 전사함수는 존재할 수 없다. 따라서 "관계식"으로 표현하지 못하는 도형이 존재한다(관계식에 제곱근 등 카디널리티를 바꾸지 않는 선에서 다른 기호를 추가하는 것을 허용하더라도 결과는 같을 것이다).
2. y=1, 0<=x<=1의 경우는?
f(x,y)=(|x|+|x-1|-1)^2+(y-1)^2=0 으로 표현 가능.
질문:
https://m.dcinside.com/board/math/25777
2번은 어케찾은겨 - dc App
0을 만들겠다는 의지로보면 할수잇을거같긴허네 흐음 - dc App
이 자식 보통내기가 아니구만
2번질문을 조금 일반화하면 1의 관계식 + (부)등식 + logical gate로 이루어진 애를 식하나로 표현하는걸 물을수도 있겠네
예를 들어 꼭지점이 (a,b) a,b in {0,1}인 정사각형의 식은 주어진 예시 비슷한거 네개 곱해서 얻을수있을듯
근데형식적으론 그런관례식으론 표햔불가능한 도형이존재한다고햇잖음. 그럼 그런 도형의 예는 찾기어려울까? - dc App
2번의경우도 만든걸보면 실례를 보이기는어려운건가 - dc App
모든자연수 n에대해 1/2^(n)<=x<=1/2^(n-1) 일때 y=n 은 유한길이에 무한하게담앗으니 유한한 관계식으론 표현불가아닐까 - dc App
n을 따로표현해주는게필수적인데이런건 허용안된다햇으니 - dc App
사칙연산과 절댓값들을 "무한히" 사용가능하면 모든 도형을 나타낼수있는거? - dc App
ㄴㄴ |R^N|=|R|이라서 기호를 무한히 사용한 문장으로도 불가능함.
기호를 비가산개 사용하는 방법은 존재안해서그런가? 만약 형식적으로 비가산개의 기호사용을 정의할수잇으면 가능함? - dc App
절댓값 빼버리면 뭔가 대수기하적인 내용으로 들어갈거 같네.. 파고들고 싶은건 아니고, 절댓값 넣음으로써 굉장히 자유도가 올라갈거 같은데, 이부분에 대해 길게나 짧게나 코멘트 좀 남겨줄수 있나? 안심하고 항상 절댓값 넣는것만 고려하고 싶어서.
이런거 너무 좋아
진짜 멋있다 뽕이차오르네
걍 초월수가 있기때문에 안되는거잖 뭐그리 복잡하게함