- すべて
- 画像・動画
並べ替え:新着順
【垂れ流し問題25】 定数関数でない実関数f(x)が周期関数かつ連続関数ならば、f(x)に正で最小の周期があることを示せ。 但し、f(x)が周期関数であるとは、「任意の実数xに対しf(x+λ)=f(x)」を満たすλ≠0がとれることをいい、このλをf(x)の周期という。[U-C]
「定数関数でない多項式関数」という条件を「定数関数でない整関数」という条件に弱めた場合,結論としては「fは1点を除きC上の全ての値を取りうる」というものが得られる.これはPicardの小定理と呼ばれる.
定数関数でない多項式関数 f: C → C は零点を持つ. (代数学の基本定理)...(*) それだけでなく,定数関数でない多項式関数 f: C → C は全射である...(**) ということが(*)からすぐに従う. (*)はfが値として0を取りうるということを言っていて,(**)はfが値として任意の複素数を取りうるということ
Barnes多重ゼータ Huewitzゼータ Bell多項式 Eulerian多項式 Dirichlet beta/eta Arctangent integral Sine integral...(とかその辺) 定数関数 高木関数 Weierstrass関数 すぐ出てきたのはこれくらいかなぁ
近代憲法の不可欠の原理より、人は単に人間であるということに基づき普遍的権利を持つ。この普遍的権利を持つ状態を1とすると、f(x)=1となるfが存在し、これは定数関数である。したがって定数関数fはある。よって身長x[cm]の人間は人権がある。すなわち、どんな身長の人にも人権はある。強く生きろ。■
xを任意の正の実数とする。身長x[cm]の人間は人権があることを示す。 Pr.) まず、身長約175cmである私には人権がある。ここで、正の実数の集合から集合{0, 1}への関数fを取ると、命題は以下と同値である。 「定数関数fがある」 これは人権がある状態を0か1のどちらか一方とすることで得られる。 (1/2)
えぇ…常に入力値127のはずなのに0Hzで実部0だし何故か456Hzで虚部が反応してるし謎すぎる。全く同じ実装のDFT単体で127定数関数の計算すると正しく出るんだけどなぁ…どっかで変な値出てるのか? pic.twitter.com/SFQJw4rdF4
「整関数であるような楕円関数は定数関数である」がリウヴィユの定理から得られるのは分かったが,「正則な楕円関数は定数関数である」がそこから従うのが分からない(手元にあった全ての教科書にギャップがある).
xを正、x≠1として x^(1/logx) これが何度やっても、xの値に関わらずeになるので、何か勘違いしていると思い込んでしまったが、冷静に考えたらx=e^logxだから、eになるのが正解だった。 x^(1/logx) これが定数関数ってちょっと不思議に思える。
これは条件の話ですが,条件を関数に置き換えて喩えれば, 「関数 f(x)=∫₀² |x−t|dt は,x についての関数であって,t についての関数ではない(強いて言うなら,t については定数関数である)」 と理解できることが大切であるのと同じくらい, (文字数不足につき次のリプに続く↓)
一階述語論理でも高階直観論理でもよいが、かけ算の定義は明確 曖昧なかけ算な物理量、例えば面積とかとは異なる。定数関数の積分はむしろ、はっきりと引数の区別がある かけ算の意味の対称性は明示的に仮定または証明する必要がある ま、その辺りは考えないってのはある
【垂れ流し問題25】 定数関数でない実関数f(x)が周期関数かつ連続関数ならば、f(x)に正で最小の周期があることを示せ。 但し、f(x)が周期関数であるとは、「任意の実数xに対しf(x+λ)=f(x)」を満たすλ≠0がとれることをいい、このλをf(x)の周期という。[U-C]
返信先:@nemakineko777他11人見やすさのために一旦cをxと書き換える。 xを変数とするとき、x≠0であればabx/x=abだが、x=0ではabx/xは値をもたない。 すなわち、 定数関数f(x)=ab は実数全域で多項式であるが、 と 関数g(x)=abx/xはx=0での振る舞いがf(x)と異なるため、多項式扱いできない。
というのも物理的事実に基づいた議論はここまで周期測ったりとしてみたもののやっぱわかんね、になっちゃったので、いったん物理的背景考えるの諦めて、純粋に数学的に相図上の分岐曲線が定数関数的な感じで降りる値を探ってみようかなと思っているのであった。
UWSCとUWSCRの両方で同じスクリプトを動かしたいということがあるんですが、UWSCRの新規構文や定数・関数がUWSCだとエラーになったりするので //- OPTION FORCEBOOL みたいな感じでUWSCではコメント行だけどUWSCRでは記号部分を無視して解析対象とするみたいなのを思いついたので実装したいですね