教材一覧
FUNCTION

関数

OVERVIEW

本節で学ぶ内容

関数と呼ばれる概念を定義した上で、代表的な関数を紹介します。また、関数の極限や連続性などの概念について解説します。これらの知識は後に関数の微分を学ぶ上での土台となります。
TABLE OF CONTENTS

目次

SECTION 1

関数

それぞれの実数に対して実数を1つずつ定める規則を関数と呼びます。

関数

実数空間もしくはその部分集合を定義域とし、実数空間を終集合とする写像を関数と呼びます。言い換えると、関数とはそれぞれの実数に対して実数を1つずつ定める規則です。

READ MORE »

関数のグラフ

関数 f が与えられたとき、実数を成分とする順序対 (x,y) の中でも y=f(x) を満たすようなものからなる集合を f のグラフと呼びます。

READ MORE »

合成関数

関数 f の値域が関数 g の定義域の部分集合である場合には、f の定義域のそれぞれの値 x に対して g(f(x)) を定めるような関数が定義可能であり、これを f と g の合成写像と呼びます。

READ MORE »

逆関数

関数が全単射である場合には、終集合のそれぞれの要素に対して、その逆像に含まれる唯一の要素を値として定める関数が定義可能であるため、これを逆関数と呼びます。

READ MORE »

単調関数・狭義単調関数

変数の値が大きくなる場合には関数が定める値も必ず大きく(小さく)なるならば、そのような関数は狭義単調増加(狭義単調減少)であると言います。狭義単調関数は単射であり、その終集合を値域に制限すれば全単射になります。

READ MORE »
SECTION 2

多項式関数

多項式関数について解説します。

定数関数

変数の値によらず常に一定の実数を値として定める関数を定数関数と呼びます。定数関数のグラフは水平な直線です。

Read More »

恒等関数

入力した値に等しい値を返す関数を恒等関数と呼びます。恒等関数は狭義単調増加関数であるとともに、定義域と値域は一致します。したがって、全区間上に定義された恒等関数は逆関数を持ち、それもまた恒等関数になります。また、恒等関数と任意の関数の合成関数もまた恒等関数になります。

Read More »

多項式関数

実数と変数の非負の整数ベキ乗の積として定義される関数を単項式関数と呼び、単項式関数の和として定義される関数を多項式関数と呼びます。

Read More »
SECTION 3

指数関数・対数関数

正の実数の累乗という概念を導入した上で、そこから指数関数や対数関数などを定義します。

指数関数

正の実数であるような底を所与としたとき、指数を変数とし、累乗を値として定めるような関数を指数関数と呼びます。指数関数は正の実数を値としてとる狭義単調関数です。

Read More »
SECTION 4

ベキ関数

ベキ関数について解説します。

自然数ベキ関数

指数が自然数であるようなベキ関数を自然数ベキ関数と呼びます。指数が奇数である場合、自然数ベキ関数は狭義単調増加関数になります。また、定義域を非負の実数に制限した場合にも、自然数ベキ関数は狭義単調増加関数になります。

Read More »

無理関数

指数が自然数の逆数であるようなベキ関数を無理関数と呼びます。無理関数は非負の実数上に定義可能であり、非負の実数を値としてとる狭義単調増加関数です。

Read More »

有理数ベキ関数

指数が有理数であるようなベキ関数を有理数ベキ関数と呼びます。正の有理数を指数とする有理数ベキ関数は非負の実数上に定義され、負の有理数を指数とする有理数ベキ関数は正の実数上に定義されます。

Read More »

絶対値関数

入力した実数に対して、その絶対値を値として定める関数を絶対値関数と呼びます。絶対値関数は数直線上に定義可能です。

Read More »
SECTION 5

三角関数・逆三角関数

三角関数について解説します。

度数法と弧度法

角および角度の概念を定義した上で、角度を表現する手法である度数法と弧度法について解説します。度数法は私たちになじみ深い「度」を単位に角度を測る手法である一方、弧度法では「ラジアン」を利用します。

Read More »

三角比

直角三角形を用いて三角比(正弦・余弦・正接)を定義した上で、それを一般化する形で三角比を定義します。

Read More »

正弦関数

それぞれのラジアンに対してその正弦(サイン)を定める関数を正弦関数(サイン関数)と呼びます。正弦関数のグラフを正弦曲線(サイン・カーブ)と呼びます。

Read More »

余弦関数

それぞれのラジアンに対してその余弦(コサイン)を定める関数を余弦関数(コサイン関数)と呼びます。余弦関数のグラフを余弦曲線(コサイン・カーブ)と呼びます。

Read More »

正接関数

それぞれのラジアンに対してその余弦(コサイン)を定める関数を余弦関数(コサイン関数)と呼びます。余弦関数のグラフを余弦曲線(コサイン・カーブ)と呼びます。

Read More »
SECTION 6

関数の極限

関数の極限について解説します。

関数の極限

実数の点集合上に定義された実数値関数を議論の対象とした上で、そのような関数が収束することの直感的な意味を解説し、さらにイプシロン・デルタ論法を用いて厳密に定義します。

Read More »

関数の片側極限

関数が点において収束することの定義において、変数がその点に近づいていく際の経路に関して特に制約は設けられていません。一方、変数が点に近づいていく際の経路を指定する形で関数の極限を定義することも可能であり、その場合の極限を片側極限と呼びます。

Read More »
SECTION 7

関数の無限極限

関数の無限極限、すなわち関数が発散することの意味を解説します。

関数の無限極限

実数の区間上に定義された実数値関数が点において発散することや、無限大や無限小において発散することの意味を解説します。

Read More »

関数の片側無限極限

関数の変数がある点に右側もしくは左側から近づくときに、変数の値が無限大や無限小へ発散する場合には、それらの極限を片側無限極限と呼びます。

Read More »
SECTION 8

関数の極限の性質

代表的な関数の極限を求めます。

収束する関数と有界性

関数が有界であることの意味、関数が点の周辺において局所有界であることの意味を定義します。また、関数が点において有限な実数へ収束するとき、その点の周辺において局所有界であることを示します。

Read More »

定数関数の極限

定数関数は定義域上の任意の点において有限な極限・右側極限・左側極限を持ちます。また、正の無限大や負の無限大においても有限な極限を持ちます。

Read More »

恒等関数の極限

恒等関数は定義域上の任意の点において有限な実数へ収束する一方、正の無限大において正の無限大へ発散し、負の無限大において負の無限大に発散します。

Read More »

関数の定数倍の極限

収束する関数を定数倍して得られる関数もまた収束し、新たな関数の極限はもとの関数の極限の定数倍になります。また、このような関係は無限極限に関しても拡張可能です。

Read More »

関数の和の極限

収束する関数どうしの和として得られる関数もまた収束し、新たな関数の極限はもとの関数の極限の和になります。また、このような関係は無限極限に関しても拡張可能です。

Read More »

関数の差の極限

収束する関数どうしの差として得られる関数もまた収束し、新たな関数の極限はもとの関数の極限の差になります。また、このような関係は一定の条件のもとで無限極限に関しても拡張可能です。

Read More »

関数の積の極限

収束する関数どうしの積として得られる関数もまた収束し、新たな関数の極限はもとの関数の極限の積になります。また、このような関係は一定の条件のもとで無限極限に関しても拡張可能です。

Read More »

関数の商の極限

収束する関数どうしの商として得られる関数もまた収束し、新たな関数の極限はもとの関数の極限の商になります。また、このような関係は一定の条件のもとで無限極限に関しても拡張可能です。

Read More »
SECTION 9

関数の連続性

関数が連続であることの意味を解説します。

関数の連続性

関数が定義域上の点において有限な極限を持つと同時に、その極限がその点における関数の値と一致する場合には、関数はその点において連続であると言います。

Read More »

関数の片側連続性

関数が閉区間上に定義された場合などには、定義域の端点において通常の意味での極限を考えることができないため、通常の意味での連続性を考えることができません。そこで、そのような場合には片側連続性と呼ばれる概念の下で連続性を考えます。

Read More »

連続関数と位相

関数が定義域上において連続であることの意味を定義します。その上で、開集合上に定義された関数の連続性は位相(開集合)を用いて表現できることを示します。

Read More »

関数の上半連続性・下半連続性

関数が上半連続であること、および下半連続の意味を方位集合と呼ばれる概念を用いて定義します。関数が上半連続かつ下半連続であることはその関数が連続であるための必要十分条件です。

Read More »

関数の不連続点

関数が点において連続ではないとき、その点を不連続点と呼びます。不連続点には第1種の不連続点と第2種の不連続点の2種類があります。また、関数が点において定義されていないとき、その点は連続点と不連続点のどちらでもありません。

Read More »
SECTION 10

連続関数の性質

代表的な関数の連続性を示すとともに、連続関数の性質を解説します。

中間値の定理

有界な閉区間上に定義された連続関数が定義域の左右の端点において異なる値をとるとき、中間値の定理と呼ばれる命題が成立します。

Read More »

区間の連続像

有界な閉区間上に定義された連続関数による定義域の像もまた有界な閉区間になります。また、区間上に定義された連続関数による定義域の像もまた区間になります。

Read More »
RELATED KNOWLEDGE

関連知識

REQUIRED KNOWLEDGE

必須知識

以下の分野の知識があると本セクションの内容を円滑に理解できます。

実数の定義

実数を無限小数として定義する場合、実数に関する議論はすべて無限小数に関する議論として行うことになり面倒です。そこで代替的な方法として公理主義的なアプローチのもとで実数を定義します。ここでは実数を特徴づける公理について解説します。

READ MORE »

数列

数列に関するテキストと演習問題です。数列という概念を定義した上で、さらに収束列、単調数列、区間列、部分列などについて学び、これらの概念を使って実数の連続性を表現できることを確認します。

READ MORE »

直線の位相

実数空間すなわち数直線の位相に関するテキストと演習問題です。実数空間上の開集合や閉集合など、位相を規定する概念について解説します。

READ MORE »
ADVANCED KNOWLEDGE

発展知識

本節で得た知識は以下の分野を学ぶ上での土台になります。

関数の微分

1変数関数の微分について学びます。具体的には、微分の概念を定義した上で、微分の基本性質や初等関数の微分、平均値の定理、高階の微分、テイラーの定理などについて学びます。これらの知識は後に1変数関数を目的関数とする最適化について学ぶ上での基盤になります。

READ MORE »

ワイズの理念とサービス内容

REGISTER

プレミアム会員登録

CONTACT

メールフォーム