• 용어
  • 수학 증명 과정
    • Definition(정의)
    • Theorem(정리)
    • Proposition(명제)
    • Lemma(부명제)
    • Conjecture(추측)
    • Corollary(따름 정리)
  • 벡터
  • 행렬
  • 함수
    • 정의역
    • 공역
    • 치역
    • 원상
    • image
    • 프로시저
    • 계산문제
    • 항등함수
    • 결합법칙
    • 역함수
    • 가역함수
    • 전사함수
    • 단사함수
    • 전단사함수
    • hat(^)
    • 확률
      • 확률 분포
      • 균등 분포
      • 비균등 분포

용어

• 일단 나열해두고 최대한 간단하게 용어 정리

수학 증명 과정

Definition(정의)

Theorem(정리)

Proposition(명제)

Lemma(부명제)

Conjecture(추측)

Corollary(따름 정리)

벡터

행렬

함수

정의역

• 함수의 변수로 입력되는 값 집합

공역

• 가능한 출력 집합

치역

• 공역의 원소들 중 실제 함수 값이 되는 집합

원상

• 출력의 원상
• pre-image
• 입력

image

• 입력의 상
• 출력

프로시저

계산문제

항등함수

결합법칙

역함수

가역함수

• 역함수를 가지는 함수
• 가역함수는 단사함수. 즉, 되돌릴 수 있으면 1:1로 매핑됨을 의미.
• 가역함수는 전사함수.

전사함수

• 입력에 대한 모든 함수 값이 공역에 존재

단사함수

• 정의역에 대해 공역의 함수 값이 하나씩 매칭되는 경우

전단사함수

• 전사함수인 동시에 단사함수

hat(^)

• $\hat{y}$ 처럼 나타낸다
• 벡터 표시하는 데 쓰이며, 단위 벡터 의미

확률

확률 분포

균등 분포

• 모든 실험 결과가
  • 동일한 가능성을 가지며,
  • 동일한 확률이 할당되는 경우

비균등 분포