掛谷集合のソースを表示

[[数学]]において'''掛谷集合'''（かけやしゅうごう、{{lang-en-short|Kakeya set}}）もしくは'''ベシコビッチ集合'''（{{lang-en-short|Besicovitch set}}）とは、[[ユークリッド空間]]において、全ての方向に単位[[線分]]を持つ点の集合のことである。名称は[[掛谷宗一]]および{{仮リンク|アブラム・ベシコヴィッチ|en|Abram Samoilovitch Besicovitch}}に因む。任意の正の数よりも小さい測度の掛谷集合が存在する。

平面において単位線分を連続的な移動により180度回転させて、線分を元の位置に向きを逆転させて戻すことができる点の集合を掛谷針集合と呼ぶ。

== ベシコビッチの針集合 ==

[[Image:Perron tree.svg|thumb|「ペロンツリーの成長」: 小さな測度の掛谷集合を構築する方法。ここでは、三角形を分割し、重なり合わせる二つの方法が示されている。最初は二つの三角形を使う方法で、次は八つの三角形を使う方法である。この方法は、元の三角形を <math>2^n</math> 個の部分に切り分けることで、任意に小さな集合を構築するために使用できる。詳細については、<ref name=":0">{{Cite journal|last=Besicovitch|first=A. S.|date=1963年8月|title=掛谷問題|url=http://dx.doi.org/10.2307/2312249|journal=アメリカ数学月報|volume=70|issue=7|pages=697|doi=10.2307/2312249|issn=0002-9890}}</ref> を参照のこと。]]

[[アブラーム・サモイロビッチ・ベシコビッチ|ベシコビッチ]]は、単位長の針が回転できるような領域 <math>D</math> の面積に対して、0より大きい下限が存在しないことを示した。すなわち、すべての <math>\varepsilon>0</math> に対して、面積 <math>\varepsilon</math> の領域が存在し、その中で針が連続的に動いて360度完全に回転することができる<ref>{{cite journal|last=Besicovitch|first=Abram|author-link=アブラーム・サモイロビッチ・ベシコビッチ|year=1919|title=二つの関数の積分可能性に関する問題|journal=J. Soc. Phys. Math.|volume=2|pages=105–123}}<br />{{cite journal|last=Besicovitch|first=Abram|author-link=アブラーム・サモイロビッチ・ベシコビッチ|year=1928|title=掛谷問題と類似の問題について|journal=数学誌|volume=27|pages=312–320|doi=10.1007/BF01171101|s2cid=121781065}}</ref>。これは、すべての方向に単位セグメントを含む平面集合に関する彼の以前の研究に基づいている。そのような集合は現在「'''ベシコビッチ集合'''」と呼ばれている。ベシコビッチが任意に小さい [[measure (mathematics)|測度]] を持つこのような集合を示したのは1919年のことであった。この問題はそれ以前から解析学者によって考えられていた可能性がある。

ベシコビッチ集合を構築する一つの方法（対応する図を参照）は、[[オスカー・ペロン]]にちなんで「ペロンツリー」と呼ばれ、ベシコビッチの元の構築法を簡略化することができた<ref>{{cite journal | last=Perron | first=O. | title=ベシコビッチの定理について | journal=数学誌 | volume=28 | pages=383–386 | year=1928 | doi=10.1007/BF01181172| s2cid=120768630 }}<br>{{cite book | last=Falconer | first=K. J. | title=フラクタル集合の幾何学 | publisher=ケンブリッジ大学出版局 | year=1985 | pages=96–99}}</ref>。正確な構築法と数値的な上限は、ベシコビッチの普及書に記載されている<ref name=":0" />。

最初に観察すべきことは、針が直線上をどれだけ遠くまで動くことができるかということである。これは、針が幅ゼロの線分だからである。次のトリックは[[ギュラ・パール|パール]]によって知られる「'''パール結合'''」<ref>[http://www.mathematik.uni-muenchen.de/~lerdos/Stud/furtner.pdf 掛谷問題] {{Webarchive|url=https://web.archive.org/web/20150715012335/http://www.mathematik.uni-muenchen.de/~lerdos/Stud/furtner.pdf|date=2015-07-15}} マルクス・フルトナーによる</ref>であり、針をほとんど面積を掃かずに平行な二つの位置の間で移動させる方法を説明しする。針は「N」の形に沿って動く。最初の位置から「N」の左側を<math>r</math>だけ上に移動し、中間の対角線に角度を掃き出し、対角線を下に移動し、二つ目の角度を掃き出し、その後「N」の右側を平行に上に移動して、必要な二つ目の位置に到達する。非ゼロの面積が掃かれる領域は、一つの高さの三角形と「N」の頂点の角度の二つだけとなる。掃かれる面積はこの角度に比例しており、これは <math>1/r</math> に比例する。

構築は、高さ1の任意の三角形から始まり、針が容易に掃くことができる上部にかなりの角度がある。この三角形に対して多くの操作を行い、その面積を小さくしながら針が掃くことができる方向を同じに保つことが目標となる。 まず、三角形を二つに分け、それらの基部が重なり合い、全体の面積を最小限に抑えるように変形する。針は、最初の三角形によって与えられた方向を掃き出し、二つ目の三角形にジャンプして、その後二つ目の三角形によって与えられた方向を掃き出すことで、同じ方向を掃き出すことができる。針は、「N」技術を使用して三角形をジャンプすることができる。元の三角形が切られた二つの線は平行であることからこれが可能となる。

三角形を 2<sup>''n''</sup> 個の部分三角形に分割すると仮定する。図には八つの三角形が示されている。 各連続した三角形のペアに対して、前述の重なりの操作を実行し、新しい形状を半分作る。それぞれが二つの重なり合った三角形からなる新しい形状となる。次に、これらの新しい形状の連続したペアを、全体の面積を最小限に抑えるように基部が重なり合うようにシフトして重ねる。この操作を ''n'' 回繰り返し、一つの形状だけになるまで続ける。再び、針はそれぞれの 2<sup>''n''</sup> の部分三角形の方向の順序に沿って同じ方向を掃き出すことができる。針は、これらの三角形が切られた二つの線が平行であるため、連続した三角形を「N」技術でジャンプできる。

残るのは、最終形状の面積を計算することである。証明は難しいので省略する。代わりに、数がどのようになるかを説明する。 図を見れば、2<sup>''n''</sup> の部分三角形が多く重なり合っていることがわかる。すべての部分三角形は底で重なり合い、半分は左の枝の底で、四分の一は左の左の枝の底で、と同様に続く。 ''i'' 回の統合操作から作成された各形状の面積が ''A''<sub>''i''</sub> で制限されると仮定する。 二つの形状を統合する前は、面積は 2''A''<sub>''i''</sub> に制限される。 次に、二つの形状をできるだけ重なるように移動させる。 最悪のケースでは、これら二つの領域は、互いに直交する二つの 1 by ε の長方形であり、その重なり合う面積はわずか ε<sup>''2''</sup> である。しかし、長く細い形状の二つの形状は、連続した部分三角形のグループから作られているため、大部分が同じ方向を指す。ここでの主張は、これらが面積の少なくとも 1% が重なるということである。したがって、統合された面積は次のように制限される。

''A''<sub>''i+1''</sub> = 1.99 ''A''<sub>''i''</sub>。元の三角形の面積は 1 に制限されている。したがって、各部分三角形の面積は次のように制限される。

''A''<sub>''0''</sub> = 2<sup>''-n''</sup> であり、最終的な形状の面積は次のように制限される。

''A''<sub>''n''</sub> = 1.99<sup>''n''</sup> × 2<sup>''-n''</sup>。実際には、重なり合わないすべての面積を注意深く合計すると、最終的な領域の面積はずっと大きく、すなわち ''1/n'' になる。 ''n'' が増加するにつれて、この面積はゼロに収束する。 ベシコビッチ集合は、正三角形から作成されたペロンツリーの六つの回転を組み合わせることによって作成できる。 平行四辺形を使用しても同様の構築が可能である。

他にも「成長」法以外で測度ゼロのベシコビッチ集合を構築する方法がある。 例えば、[[ジャン＝ピエール・カハーヌ|カハーヌ]]は、[[カントール集合]]を用いて二次元平面における測度ゼロのベシコビッチ集合を構築している<ref>{{cite journal | last = Kahane | first = Jean-Pierre | author-link = ジャン＝ピエール・カハーヌ | title = 完全線形集合に関する三つの注記 | journal = 数学教育 | volume = 15 | pages = 185–192 | year = 1969}}</ref>。

[[Image:KakeyaNeedleSet3.GIF|thumb|ペロンツリーから構築された掛谷針集合。]]

1941年、H. J. ヴァン・アルフェン<ref>{{cite journal | last = Alphen | first = H. J. | title = ベシコビッチの定理の拡張 | journal = Mathematica Zutphen B | volume = 10 | pages = 144–157 | year = 1942}}</ref>は、半径 2 + ε（任意の ε > 0）を持つ円の中に任意に小さな掛谷針集合が存在することを示した。1965年には、より小さい面積の単連結掛谷針集合が発見された。メルビン・ブルームと[[アイザック・ジェイコブ・ショーンバーグ|I. J. ショーンバーグ]]は独立に、面積が <math>\tfrac{\pi}{24}(5 - 2\sqrt{2})</math> に近づく掛谷針集合を発表した。この数値は「'''ブルーム・ショーンバーグ数'''」と呼ばれている。ショーンバーグは、この数が単連結掛谷針集合の面積の下限であると予想した。しかし、1971年には F. カニンガム<ref>{{cite journal|last=Cunningham|first=F.|year=1971|title=単連結集合および星状集合に対する掛谷問題|url=https://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Cunningham.pdf|journal=アメリカ数学月報|volume=78|issue=2|pages=114–129|publisher=アメリカ数学月報, Vol. 78, No. 2|doi=10.2307/2317619|jstor=2317619}}</ref>は、ε > 0 が与えられたとき、半径 1 の円に含まれる面積が ε より小さい単連結掛谷針集合が存在することを示した。

任意に小さい正の測度を持つ掛谷針集合と測度ゼロのベシコビッチ集合は存在するが、測度ゼロの掛谷針集合は存在しない。

==掛谷針集合の諸定理==
任意の正の数よりも小さい面積の掛谷針集合が存在する。<ref>{{cite journal | last=Perron | first=O. | title=Über eine Satz von Besicovitch | journal=Mathematische Zeitschrift | volume=28 | pages=383–386 | year=1928 | doi=10.1007/BF01181172}}<br>{{cite book | last=Falconer | first=K. J. | title=The Geometry of Fractal Sets | publisher=Cambridge University Press | year=1985 | pages=96–99}}</ref>

最小の[[凸集合|凸]]掛谷針集合は一辺 <math>{2/\sqrt{3}}</math> の正三角形である。<ref>{{cite journal| last = Pal | first = Julius  | title = Ueber ein elementares variationsproblem  | journal = Kongelige Danske Videnskabernes Selskab Math.-Fys. Medd.  | volume = 2 | pages = 1&ndash;35 | year = 1920 }}</ref>

半径 1 の円の内部で任意の正の実数 ε に対し <math>\tfrac{\pi}{108}</math>+ε 以下の面積を持つ[[単連結]]掛谷針集合が存在する。<ref>{{cite journal  | last = Cunningham | first = F. | title = The Kakeya problem for simply connected and for star-shaped sets  | journal = American Mathematical Monthly | volume = 78 | pages = 114–129 | year = 1971 | url = http://mathdl.maa.org/images/upload_library/22/Ford/Cunningham.pdf  | doi = 10.2307/2317619  | issue = 2  | jstor = 2317619 | publisher = The American Mathematical Monthly, Vol. 78, No. 2}}</ref> 

==掛谷予想==

===定義===
これらのベシコビッチ集合がどれほど小さくなり得るかという同様の問題が高次元で提起され、「掛谷予想」として知られるいくつかの予想が生まれ、[[幾何測度論]]と呼ばれる数学の分野の発端となった。特に、測度ゼロのベシコビッチ集合が存在する場合、これらはそれらが存在する空間の次元よりも小さい次元の s 次元 [[ハウスドルフ測度]]がゼロである可能性があるのか？という問題が生じる。この問題は次の予想を導く：

:'''掛谷集合予想''': '''R'''<sup>''n''</sup> における ''ベシコビッチ集合'' を、あらゆる方向に単位線分を含む集合として定義する。そのような集合は必ず [[ハウスドルフ次元]] と [[ミンコフスキー次元]] が ''n'' に等しいか？

これは ''n'' = 1 および 2 の場合に真であることが知られているが、高次元の場合には部分的な結果しか知られていない。

===掛谷最大関数===
この問題に対する現代的なアプローチの一つは、次のように構成される特定のタイプの [[最大関数]] を考慮することである：'''S'''<sup>''n''−1</sup> ⊂ '''R'''<sup>''n''</sup> を n 次元空間の単位球面とする。<math>T_{e}^{\delta}(a)</math> を長さ 1、半径 δ > 0 の円柱として定義し、点 ''a'' ∈ '''R'''<sup>''n''</sup> の中心にあり、その長い側が単位ベクトル ''e'' ∈ '''S'''<sup>''n''−1</sup> の方向に平行である。次に、[[局所可積分]] 関数 ''f'' に対して、''f'' の '''掛谷最大関数''' を次のように定義する。

:<math> f_{*}^{\delta}(e)=\sup_{a\in\mathbf{R}^{n}}\frac{1}{m(T_{e}^{\delta}(a))}\int_{T_{e}^{\delta}(a)}|f(y)|dm(y)</math>

ここで ''m'' は ''n'' 次元 [[ルベーグ測度]] を表す。<math>f_{*}^{\delta}</math> は球面 '''S'''<sup>''n''−1</sup> 内のベクトル ''e'' に対して定義されている。

次に、これらの関数に対して次の予想がある。これが真であれば、より高次元の掛谷集合予想を示唆する：

:'''掛谷最大関数予想''': 任意の ε > 0 に対して、任意の関数 ''f'' とすべての δ > 0 に対して次のような定数 ''C<sub>ε</sub>'' > 0 が存在する：
::<math> \left \|f_{*}^{\delta} \right \|_{L^n(\mathbf{S}^{n-1})} \leqslant C_{\epsilon} \delta^{-\epsilon}\|f\|_{L^n(\mathbf{R}^{n})}. </math>

=== 結果===
掛谷予想を証明するためのいくつかの結果は次の通りである：
* 掛谷予想は ''n'' = 1 （自明に）および ''n'' = 2（Davies<ref>{{cite journal| last = Davies | first = Roy  | title =Some remarks on the Kakeya problem | journal =Proc. Cambridge Philos. Soc. | volume = 69 | pages = 417&ndash;421 | year = 1971  | doi = 10.1017/S0305004100046867 | issue = 3| bibcode = 1971PCPS...69..417D}}</ref>）の場合に真である。
* 任意の ''n'' 次元空間において、Wolff<ref>{{cite journal  | last = Wolff | first = Thomas | author-link = Thomas Wolff| title = An improved bound for Kakeya type maximal functions  | journal = Rev. Mat. Iberoamericana | volume = 11 | pages = 651&ndash;674 | year = 1995 | doi=10.4171/rmi/188| doi-access = free }}</ref> は、掛谷集合の次元は少なくとも (''n''+2)/2 であることを示した。
* 2002年、[[Nets Hawk Katz|Katz]] と [[Terence Tao|Tao]]<ref>{{cite journal | last1=Katz | first1=Nets Hawk| authorlink1=Nets Hawk Katz|last2=Tao | first2=Terence | authorlink2=Terence Tao | title = New bounds for Kakeya problems  | journal = [[Journal d'Analyse Mathématique]] | volume = 87 | pages = 231&ndash;263 | year = 2002 | doi=10.1007/BF02868476|doi-access=free| arxiv=math/0102135| s2cid=119644987}}</ref> はWolffの境界を <math>(2-\sqrt{2})(n-4)+3</math> に改善し、''n'' > 4 に対してより良くなった。
* 2000年、[[Nets Hawk Katz|Katz]]、[[Izabella Łaba|Łaba]]、および Tao<ref>{{cite journal|last1=Katz|first1=Nets Hawk|last2=Łaba|first2=Izabella|last3=Tao|first3=Terence|title=An Improved Bound on the Minkowski Dimension of Besicovitch Sets in <math>\mathbb{R}^3</math>|journal=The Annals of Mathematics|date=September 2000|volume=152|issue=2|pages=383&ndash; 446 |doi=10.2307/2661389|jstor=2661389|arxiv=math/0004015|s2cid=17007027}}</ref> は、3次元の掛谷集合の [[ミンコフスキー–ブーリガンド次元|ミンコフスキー次元]] が 5/2 よりも厳密に大きいことを証明した。
* 2000年、[[Jean Bourgain]] は掛谷問題を [[算術組合せ論]]<ref>J. Bourgain, Harmonic analysis and combinatorics: How much may they contribute to each other?, Mathematics: Frontiers and Perspectives, IMU/Amer. Math. Soc., 2000, pp. 13–32.</ref><ref>{{cite journal | last = Tao | first = Terence | author-link = Terence Tao  | title = From Rotating Needles to Stability of Waves: Emerging Connections between Combinatorics, Analysis and PDE| url=https://www.ams.org/notices/200103/fea-tao.pdf | journal = Notices of the AMS | volume = 48 | issue = 3 | pages = 297&ndash;303 |date=March 2001}}</ref> に関連付け、[[調和解析]]および [[加法的数論]]を含む問題に発展させた。
* 2017年、[[Nets Hawk Katz|Katz]] と Zahl<ref>{{cite journal|last1=Katz|first1=Nets Hawk|last2=Zahl|first2=Joshua|title=An improved bound on the Hausdorff dimension of Besicovitch sets in <math>\mathbb{R}^3</math>|journal=Journal of the American Mathematical Society|date=2019|volume=32|issue=1|pages= 195&ndash; 259 |doi=10.1090/jams/907 |arxiv=1704.07210|s2cid=119322412}}</ref> は3次元のベシコビッチ集合の [[ハウスドルフ次元]] の下限を <math>5/2+\epsilon</math> に改善した。ただし絶対定数 <math>\epsilon>0</math> とする。

==解析への応用==
やや驚くべきことに、これらの予想は、特に[[調和解析]]における他のいくつかの問題に関連していることが示されている。例えば、1971年に[[チャールズ・フェッファーマン]]は、ベシコビッチ集合の構成を利用して、次のことを示した。次元が1を超える場合、原点を中心とした半径が無限大に向かう球体上で取られるトランケート・フーリエ積分は、''L''<sup>''p''</sup>ノルム（''p'' ≠ 2の場合）で収束しないことがある（これは、一次元の場合においてそのようなトランケート積分が収束するのとは対照的である）。<ref>{{cite journal
  | last = Fefferman | first = Charles | author-link = Charles Fefferman
  | title = The multiplier problem for the ball
  | journal = Annals of Mathematics | volume = 94 | pages = 330&ndash;336 | year = 1971
  | doi = 10.2307/1970864
  | issue = 2
  | jstor = 1970864
}}</ref>

==掛谷問題の類似および一般化==

===円や球を含む集合===
掛谷問題の類似として、直線以外のより一般的な形状を含む集合を考えることがある。例えば、円を考える。

* 1997年<ref>{{cite journal
  | last = Wolff | first = Thomas
  | title = A Kakeya problem for circles
  | journal = American Journal of Mathematics | volume = 119 | pages = 985&ndash;1026 | year = 1997
  | doi = 10.1353/ajm.1997.0034|author-link =Thomas Wolff
  | issue = 5
| s2cid = 120122372
 }}</ref>および1999年<ref>{{cite journal
  | last1 = Wolff | first1 = Thomas
  | title = On some variants of the Kakeya problem
  | journal = Pacific Journal of Mathematics| volume = 190 | pages = 111&ndash;154 | year = 1999
  | doi = 10.2140/pjm.1999.190.111|author-link =Thomas Wolff
  | last2 = Wolff
  | first2 = Thomas
  | url = https://authors.library.caltech.edu/710/1/KOLpjm99.pdf| doi-access = free}}</ref>、ウルフは、すべての半径の球を含む集合は完全な次元を持たなければならず、つまり、その次元は存在する空間の次元と等しいことを示した。これは、掛谷最大関数に類似した円の最大関数に対しての境界を証明することによって証明された。

* 半径ゼロの周りの球を含む集合が存在するという予想が立てられた。[[エリアス・スタイン]]の結果<ref>{{cite journal  | last = Stein | first = Elias
 | title = Maximal functions: Spherical means
 | journal =Proc. Natl. Acad. Sci. U.S.A. | volume = 73 | pages = 2174&ndash;2175 | year = 1976
 | doi = 10.1073/pnas.73.7.2174
 | pmid = 16592329  | issue = 7  | pmc = 430482|author-link =Elias Stein
| bibcode = 1976PNAS...73.2174S| doi-access = free
 }}</ref> は、''n'' ≥ 3のとき、すべてのそのような集合は正の測度を持たなければならないことを証明した。また、マーストランド<ref>{{cite journal
 | last = Marstrand | first = J. M.
| title = Packing circles in the plane | volume = 55 | pages = 37&ndash;58 | year = 1987
| journal = Proceedings of the London Mathematical Society
| doi = 10.1112/plms/s3-55.1.37|author-link =J. M. Marstrand
}}</ref>は、''n=2''の場合でも同様のことを証明した。

===k次元ディスクを含む集合===
掛谷予想の一般化として、すべての方向における直線のセグメントの代わりに、''k''次元部分空間の部分を含む集合を考える。'''(''n'', ''k'')-ベシコビッチ集合''' ''K''を、レベーグ測度がゼロである''R''<sup>''n''</sup>内のコンパクトな集合と定義する。つまり、''B''を原点を中心とする単位球とし、任意の''k''次元部分空間''P''に対して、''P'' ∩ ''B''に対して''x'' ∈ ''R''<sup>''n''</sup>が存在し、(''P'' ∩ ''B'') + ''x'' ⊆ ''K''となるようにする。したがって、(''n'', 1)-ベシコビッチ集合は、先に述べた標準的なベシコビッチ集合である。

:'''(''n'', ''k'')-ベシコビッチ予想:''' ''k'' > 1の場合、(''n'', ''k'')-ベシコビッチ集合は存在しない。

1979年、マーストランド<ref>{{cite journal | last = Marstrand | first = J. M.| title = Packing Planes in <math>\mathbb{R}^3</math> | journal = [[Mathematika]] | volume = 26 | pages = 180&ndash;183 | year = 1979|author-link =J. M. Marstrand| doi = 10.1112/S0025579300009748
| issue = 2}}</ref> は、(3, 2)-ベシコビッチ集合が存在しないことを証明した。同時期に、[[ケネス・ファルコナー]]<ref>{{cite journal | last = Falconer | first = K. J. | author-link=Kenneth Falconer | title = Continuity properties of k-plane integrals and Besicovitch sets | journal = Math. Proc. Cambridge Philos. Soc. | volume = 87 | pages = 221&ndash;226 | year = 1980 | doi = 10.1017/S0305004100056681| issue = 2| bibcode = 1980MPCPS..87..221F}}</ref> は、2''k'' > ''n''の場合、(''n'', ''k'')-ベシコビッチ集合が存在しないことを証明した。これまでの最良の境界はブルゲイン<ref>{{cite journal | last = Bourgain | first = Jean | title = Besicovitch type maximal operators and applications to Fourier analysis | journal = [[Geometric and Functional Analysis]] | volume = 1 | pages = 147&ndash;187 | year = 1997 | doi = 10.1007/BF01896376|doi-access=|author-link =Jean Bourgain
 | issue = 2| s2cid = 122038469 }}</ref>によって、2<sup>''k''−1</sup> + ''k'' > ''n''の場合には、そのような集合は存在しないことが証明されている。

===有限体上の掛谷集合===
1999年、ウルフは掛谷問題の[[有限体]]に関する類似問題を提起し、この予想を解決するための技法がユークリッドの場合にも応用できることを期待した。

:'''有限体掛谷予想''': '''F'''を有限体とし、''K'' ⊆ '''F'''<sup>n</sup>を掛谷集合とする。すなわち、任意のベクトル''y'' ∈ '''F'''<sup>''n''</sup>に対して、''K''が直線{''x'' + ''ty'' : ''t'' ∈ '''F''' }を含むようにするための''x'' ∈ '''F'''<sup>''n''</sup>が存在する。このとき、集合''K''は少なくとも''c<sub>n</sub>''|'''F'''|<sup>''n''</sup>のサイズを持つ。ここで''c<sub>n</sub>''>0は''n''のみに依存する定数である。

[[ゼエブ・ディヴィール]]は2008年にこの予想を証明した。彼は、''c<sub>n</sub>'' = 1/''n''!のときにこの命題が成り立つことを示した。<ref>{{cite journal |first=Z. |last=Dvir |title=On the size of Kakeya sets in finite fields |journal=Journal of the American Mathematical Society |volume=22 |pages=1093–1097 |year=2009 |issue=4 |doi=10.1090/S0894-0347-08-00607-3 |arxiv=0803.2336 |bibcode=2009JAMS...22.1093D |s2cid=3358826 }}</ref><ref>{{cite web |url=http://terrytao.wordpress.com/2008/03/24/dvirs-proof-of-the-finite-field-kakeya-conjecture/ |title=Dvir's proof of the finite field Kakeya conjecture |access-date=2008-04-08 |author=テレンス・タオ |author-link=テレンス・タオ |date=2008-03-24|work=What's New}}</ref> 彼の証明では、''n''変数の任意の次数が|'''F'''|未満の多項式が掛谷集合上でゼロになる場合、それは恒等的にゼロである必要があることを示した。一方、''n''変数の次数が|'''F'''|未満の多項式は次元が

:<math>{|\mathbf{F}|+n-1\choose n}\ge \frac{|\mathbf{F}|^n}{n!}.</math>

となるベクトル空間を形成する。したがって、与えられた集合がこの数未満の点を持つ場合、次数が|'''F'''|未満の非自明な多項式が少なくとも1つ存在することになる。これら2つの観察を組み合わせることで、掛谷集合は少なくとも|'''F'''|<sup>''n''</sup>/''n''!の点を持たなければならないことが示される。

この技法が元の掛谷予想を証明するために拡張されるかどうかは不明だが、この証明は本質的に代数的な反例がありそうにないことから、元の予想の信憑性を高めている。ディヴィールは、有限体の掛谷問題に関する進展とその[[ランダムネス抽出器]]との関係に関する調査記事を執筆した。<ref>{{Cite journal
|id={{ECCC|2009|09|077}} |title=From Randomness Extraction to Rotating Needles |year=2009|first=Zeev|last=Dvir|journal=[[ACM SIGACT]] News}}.</ref>

==掛谷針集合の例==
半径 0.5 の円板 <math>s \approx 0.78539</math>

幅 1 の[[ルーローの三角形]] <math>s \approx 0.70477</math>

一辺 <math>{2/\sqrt{3}}</math> の正三角形 <math>s \approx 0.57735</math>

半径 3 / 4 の円に内接する[[デルトイド]] <math>s \approx 0.39270</math>

== 出典 ==
<references />

==外部リンク==
*[http://www.math.ubc.ca/~ilaba/kakeya.html Kakeya at University of British Columbia ]
*[https://www.math.ucla.edu/~tao/java/Besicovitch.html Besicovitch at UCLA]
*[http://mathworld.wolfram.com/KakeyaNeedleProblem.html Kakeya needle problem at mathworld]
*[https://terrytao.wordpress.com/2008/03/24/dvirs-proof-of-the-finite-field-kakeya-conjecture/ Dvir’s proof of the finite field Kakeya conjecture at Terence Tao's blog]
*[https://www.math.stonybrook.edu/~bishop/lectures/UW.pdf An Introduction to Besicovitch-Kakeya Sets]

{{analysis-stub}}
{{デフォルトソート:かけやしゆうこう}}
[[Category:調和解析]]
[[Category:実解析]]
[[Category:離散幾何学]]
[[Category:数学に関する記事]]