吉野川サービスエリア(よしのがわサービスエリア)は、徳島県三好郡東みよし町足代にある徳島自動車道のサービスエリア。吉野川スマートインターチェンジを併設する。当サービスエリアの下り線施設には、一般道からも利用できるウェルカムゲートがある。概要.三好バスストップ.三好バスストップ(みよしバスストップ)は、吉野川サービスエリアに併設された高速バス用バス停留所。高速バスの利用者専用駐車場がある。上板サービスエリア上板サービスエリア(かみいたサービスエリア)は、徳島県板野郡上板町神宅にある徳島自動車道のサービスエリアである。施設.上下線ともガソリンスタンドは当SA開設当時から設置されていない。上板バスストップ.上板バスストップ(かみいたバスストップ)は、徳島県板野郡上板町神宅の徳島自動車道の上板サービスエリアに併設された高速バス用バス停留所。高速バス利用者専用駐車場あり。上り側バス停と下り側バス停の間を移動するには、一般道に出て大きく迂回しなければならない。特に夜間は照明も少ないので注意が必要である。阿波パーキングエリア阿波バスストップ.阿波バスストップ(あわバスストップ)は、徳島自動車道阿波パーキングエリアに併設された高速バス用バス停留所。ラビンは、ヘブライ語の人名またはクロアチア語の地名。ヘブライ語の人名.クロアチア語の地名.ユニタリ作用素数学の一分野、函数解析学におけるユニタリ作用素(ユニタリさようそ、)は、ヒルベルト空間上の自己同型写像、すなわち構造(今の場合は、作用する対象となる空間の線型空間の構造、内積構造およびそこから定まる位相構造)を保つ全単射である。与えられたヒルベルト空間からそれ自身へのユニタリ作用素全体の成す集合は群を成し、のヒルベルト群と呼ばれることもある。定義と注意.ヒルベルト空間上の有界線型作用素がユニタリ作用素であるとは、それがを満足するときに言う。ただし、はのエルミート共軛では恒等作用素である。上記よりも弱く、条件のみを満たすものは等距作用素と呼ばれ、条件を満たすものは余等距作用素と呼ばれる。即ち、ユニタリ作用素は等距かつ余等距なる有界作用素である。内積を用いれば、この定義は以下のように書き直すことができる。