2つの信号はいつ直交しますか?


10

線形代数における直交性の古典的な定義では、2つのベクトルは、それらの内積がゼロの場合、直交します。

この定義は信号にも適用される可能性があると思いましたが、次の例について考えました。

正弦波の形の信号と、余弦波の形の別の信号を考えます。両方をサンプリングすると、2つのベクトルが得られます。サインとコサインは直交関数ですが、サンプリングされたベクトルの積はほとんどゼロにはならず、t = 0でのそれらの相互相関関数も消えません。

では、この場合、直交性はどのように定義されるのでしょうか。または私の例はオフですか?

回答:


10

ご存知かもしれませんが、直交性はベクトル空間の内積に依存します。あなたの質問では、次のように述べています:

サインとコサインは直交関数ですが...

これは、おそらく関数空間の「標準」内積を聞いたことがあることを意味します。

fg=バツ1バツ2fバツgバツ dバツ

この積分を解くと fバツ=cosバツ そして gバツ=バツ 単一の期間の場合、結果は 0:それらは直交しています。

ただし、これらの信号のサンプリングは、直交性などに関係ありません。信号をサンプリングするときに取得する「ベクトル」は、意味のある値を組み合わせたものです。これらは厳密にはベクトルではなく、単なる配列(プログラミングスラング)です。それらをMATLABまたは他のプログラミング言語でベクトルと呼ぶのは、混乱を招く可能性があります。

次元のベクトル空間を定義できるので、実際には少しトリッキーです N あなたが持っている場合 N各信号のサンプル。これらの配列は実際には実際のベクトルです。しかし、それらは異なるものを定義します。

簡単にするために、ベクトル空間にいるとしましょう R そしてあなたは持っています 各信号のサンプル、およびそれらすべては実数値です。最初のケースでは、ベクトル(つまり、3つの数値を組み合わせたもの)は空間内の位置を参照します。2番目の例では、信号が3つの異なる時間に到達する3つの値を参照しています。この例では、違いを見つけるのは簡単です。もしあったなら サンプルの場合、「スペース」の概念は直感的にはわかりませんが、アイデアは依然として保持されます。

一言で言えば、2つの信号は、それらの間の内積(つまり、上で書いた積分)が 0、そしてそれらをサンプリングすることによって得られたベクトル/配列は、それらが直交していることについて何も教えてくれません。


4
「ベクトル」という用語は、必ずしも「空間内の位置」を意味するものではありません。実際、ベクトル空間の要素はすべてベクトルと見なすことができます。関数空間L2も、要素ごとの加算とスカラー倍算を含むベクトル空間です。したがって、L2の要素である関数は、このベクトル空間のベクトルと見なすことができます。そのため、関数がこのベクトル空間で直交しているかどうかは、これらのベクトル間の内積によって決まります。
MaximilianMatthé2017

こんにちは@MaximilianMatthéです。「ベクター」=「空間での位置」とは言いませんでした。ベクトル空間の例を書いたR物事をより明確にするために、その場合、ベクトルは一般的な空間座標にあります。関数の内積を定義したという事実は、関数がベクトル空間を形成できることを(暗黙的に)示しています。投稿を編集してわかりやすくする必要がありますか?私は信号自体と同じベクトル空間を構成しないサンプルを参照していました。それが、サンプルが直交性について何も言わない理由です。
Tendero 2017

@Tenderoありがとうございます(質問したところ、以前にログインするのを忘れました)。しかし、あなたが言ったので、私はまだ苦労しています。与えられた積分をfバツ=cosバツ そして gバツ=sバツ、それから私は得るでしょう 0。まあ、いいえ。結果は0.5cos2バツ、これは常にゼロではありません。確かに、1つの期間にわたって統合すると、ゼロになります。しかし、実際には私には最初に非周期関数があり、それらの内積(積分によって定義される)も周期的ではありません。それでは何ですか?
AlphaOmega

2
@AlphaOmega関数は、決められた間隔で直交します。積分区間は、2つの関数がその区間で直交しているかどうかを知るために定義する必要があります。通常、コサインとサインを1つの期間に統合すると、内積は次のようになります。0。非定期的な関数がある場合は、そのことについて別の質問をし、その場合の結果を確認する必要があります。
Tendero

内積には常に境界が含まれている必要があります。そうでない場合、内積はフィールドに対する関数ではありません。どの間隔を選択するかによって、話し合うベクトル空間が変わります。
同義語2017

6

直交性は、実際には、内積を介して定義されます。連続した順序の時間変数の積分と、離散時間変数の合計です。

2つの(連続的な)直交信号を離散的な信号(通常のサンプリング、離散的な振幅)に変換し、場合によってはウィンドウ処理(有限サポート)すると、直交性に影響を与える可能性があります。言い換えると、2つの直交する連続時間信号は、離散化されたときに、ほぼ直交になるだけです。離散化が十分に細かく、ウィンドウが適切に選択されている場合、場合によっては(周期性、周波数に関して)、直交性を維持します。

連続設定では、関数空間は無限であるため、直交信号を見つけるための多くのオプションがあります。離散空間では、相互に直交する信号の最大数は、空間の次元によって制限されます。


2

まず、関数の内積を定義する必要があります。単に掛け算することはできません。

私自身は内積の特性についてはわかりませんが、この講義によれば、内積は可換で線形でなければならず、それ自体の関数の内積は正定でなければなりません。

関数の内積の1つのオプションは、

f1f2=abf1バツf2バツdバツ

a<b。しかし、多分あなたはあなた自身で異なる定義を思いつくかもしれませんか、あるいはこれを使って遊んでどれを見るかもしれませんa そして bバツ そして cosバツ 直交しています。


1
実は s2πk1f0t そして cos2πk2f0t 直交している ba=f0 そして k1k2ZZ。それは両方の機能の基本的な期間です。
MaximilianMatthé2017

1
内積は線形ではありません-実際のベクトル空間では双線形であり、複雑なものではセスキ線形です。実際のベクトル空間では対称であり、複雑なベクトル空間では共役対称です。
バットマン

2

Huangの記事「非線形および非定常時系列分析の経験的モード分解とヒルベルトスペクトル」を読んだ後、質問に答えられると思います。この論文(927ページ)で、Huangは2つの信号間の直交性の定義を示しました。 信号間の直交性の定義

また、MATLABコードを共有したいと思います。

function OC=ort(x,y)
x=x(:)';
y=y(:);
xy=x*y;
OC=xy/(sum(x.^2)+sum(y.^2));
end

以上です、頑張ってください〜


1

行列の乗算(DFTなど)に関して、信号の等価積分間隔は、行列のサイズ(または入力ベクトルのサイズ)とサンプルレートによって決まります。これらは、実際の考慮事項(対象となる時間やスペース、可用性など)のために選択されることがよくあります。直交性は、積分のその期間にわたって定義されます。


0

私はあなたの例が少しずれていると主張します。

関数をサンプリングしなかった可能性が高いです そして cos適切に、サンプリングはそれらの周期性を尊重する必要があるという意味で。セットでこれらの関数をサンプリングすると{2πN | {0N1}}、私はあなたがそれを見つけることを保証します Nあなたが見つける三次元ベクトルは完全に直交するでしょう。


0

私はピトゴラスの公式がベクトルにも当てはまることを思い出して、このタイプの問題に幾何学的なアプローチをとりたいです:

|バツy|2=|バツ|2+|y|22バツy

この内積空間の 2つのベクトル間の角度の余弦として相関係数を定義するスカラー積を使用します

バツy=|バツ||y|cosagleバツy

スカラー cosagleバツy したがって、 1 そして 1 角度の余弦を測定します agleバツy ベクトルの間 バツ そして y

内積を使用して定義された2つのベクトル間の角度の幾何学的解釈

あなたの質問に答えるために、コサインがゼロのときのよう直交性が定義されます(通常のジオメトリの平面空間のように)


どういう意味 cosfg
ロバート・ブリストー・ジョンソン2017

cos2番目の方程式で定義されたスカラーです。インクを追加しました+それをより明確にするために試みました
meduz

もしかして:
cosfgfg|f||g|=|f|2+|g|2|fg|22|f||g|
それはあなたが言っていることですか?半世紀近く、余弦関数を知っていた2つの引数の余弦関数を見たことがありません。
ロバートブリストウジョンソン2017

あなたは正しい、私の間違い、私は私の答えの定式化を修正しました。
メデューズ2017
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.